function writeheader() { document.writeln("

") document.writeln("

") document.writeln("

$\"Home\"$ $\"About$ $\"Site$ $\"Contact$

$\"Product$ $\"Technology\"$ $\"Support\"$ $\"Whats$

") document.writeln("

") document.writeln(" ") document.writeln("

") }