document.write('');
document.write('');
document.write('  | ');
document.write('
');
document.write('');
document.write(' | ');
document.write('
');
document.write('');
document.write(' | ');
document.write('
');
document.write('
');
document.write('');