document.write("<div id=\"header\">");
document.write(" <div id=\"borderTopLeft\"></div>");
document.write(" <div id=\"borderTopRight\"></div>");
document.write("<div id=\"banner\"><div align=\"right\"><img src=\"../../images/banner.jpg\" alt=\"banner\" /></div></div>");
document.write("<!-- end #header -->");
document.write("</div>");