function displaynav() { document.write("     "); }