// Header; function writeheader() { document.writeln('

'); document.writeln(''); document.writeln('

|'); document.writeln('DISNEY HOTELS|'); document.writeln('GOLF DEALS|'); document.writeln('TROPICAL DEALS| '); document.writeln('EXTENDED STAYS|'); document.writeln('CASINO HOTELS|'); document.writeln('HOME'); document.writeln('|

'); } // Footer; function writefooter() { document.writeln('

| '); document.writeln('DISNEY HOTELS | '); document.writeln('GOLF DEALS | '); document.writeln('TROPICAL DEALS | '); document.writeln('HOT DEALS | '); document.writeln('EXTENDED STAYS | '); document.writeln('CASINO HOTELS | '); document.writeln('HOME |

'); document.writeln('

'); }