'; function start_page() { global $open_page; print $open_page; } function end_page(){ print "\n