function writenav(color) {
//colors are blue, green, purple, silver, yellow, pink
document.write('');
document.write('  | ');
document.write('  | ');
document.write('  | ');
document.write('  | ');
document.write('
');
document.write(' ');
document.write('  | ');
document.write('  | ');
document.write('  | ');
document.write('
');
document.write(' ');
document.write('  | ');
document.write('
');
}