// JavaScript Document //This is a simple script to write out the header of every page so that it's simple to change it on all pages. document.write("

"); document.write("

"); document.write("
"); document.write(" $\"Home\"$ $\"About\"$ $\"My$ $\"Links\"$ "); document.write("

");