print $html;	# finally print the HTML page