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('
');