document.write(" <font face='Arial'><font color='#0000FF'><font size=+2>\n");
document.write("Stelvio Cimato\n");
document.write("<IMG SRC = 'images/line.gif' height=4 width=700>\n");
document.write("<br>\n");