/* end globals */
displayHtmlHeader( _("Printer Friendly"), '', false, true );
echo '<frameset rows="60, *">' . "\n";
echo '<frame src="printer_friendly_top.php" name="top_frame" '
/* end globals */
displayHtmlHeader( _("Printer Friendly"), '', false, true );
echo '<frameset rows="60, *">' . "\n";
echo '<frame src="printer_friendly_top.php" name="top_frame" '