<? 

   // do_html_footer, called in index.php

   function do_html_footer() 

   {  

 ?>

     </body></html>
<?

   }

 ?>