// JavaScript Header
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(' ');
document.write(' | ');
document.write(' | ');
document.write('
');