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