function Header(PageName) {
document.writeln('<table cellpadding="5" align="center"><tr><td>');
document.writeln('<img src="/gif/topstar.gif" width="301" height="163" alt="Topstar logo"></td>');
document.writeln('<td style="color: blue; vertical-align: top; font-weight: bold; font-size: x-large">',PageName,'</td></tr></table>');
}