document.write ('<p><hr noshade>\n');
document.write ('benjamin michael steers\n');