document.write ('<hr>');
document.write (' ');