<? 

   // display_button, called in do_html_header

   function display_button($target, $image, $alt) {

 ?>
     <a href="<?=$target?>"><img src="<?=$image?>.gif" alt="$alt"
                                                       border=0
                                                       height=50
                                                       width=135></a>
<?

   }

 ?>