function page_footer($page_name) { ?>