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