function Header(PageName) {
document.writeln('<div style="text-align: center;">');
document.writeln('<span style="color: blue; vertical-align: top; font-weight: bold; font-size: x-large">');
document.writeln(PageName,'</span>&nbsp; &nbsp;');
document.writeln('<img src="/gif/tab_small.gif" width="251" height="72" alt="TAB logo">');
document.writeln('</div>');
}