do_html_header



<? 

   // do_html_header, called in index.php

   function do_html_header($header) {  
       global $total_price; 
       global $items; 
       $codebase = "http://www.cs.indiana.edu/classes/a348/fall2001/bookstore";
       if (! $items) $items = "0"; 
       if (! $total_price) $total_price = "0.00"; 
 ?> 
       <html>
         <body bgcolor=white>                 

           <table width=100% border=0 bgcolor=white>
             <tr> 
               <td valign=middle rowspan=2 align=center>
                 <img src="<?=$codebase?>/bookorama.gif"> 
               </td>
               <td bgcolor="#cccccc" align=center valign=middle> 
                 Total Items: <?=$items?> 
               </td>
               <td bgcolor="#cccccc" align=center valign=middle rowspan=2> 
<?
                 display_button(
                                 "show_cart.php", 
                                 $codebase . "/viewCart", 
                                 "View Cart"
                               ); 
 ?>
               </td> 
             </tr> 
             <tr> 
               <td bgcolor="#cccccc" align=center valign=middle>
                 Total Price: $<?=$total_price?>
               </td> 
             </tr>
           </table>

           <hr> <?=$header?>  <hr>
<? 
   } 
 ?>