document.write("<div id=\"head\">  <div id=\"title\">    <a href=\"http://icpc.baylor.edu/icpc/\"><img src=\"../img/top.gif\" border=\"0\"></a>      <a href=\"http://www.waseda.jp/top/index-j.html\"><img src=\"../img/waseda.gif\" height=\"65px\" border=\"0\"></a>  </div>  <div id=\"language\">    <a href=\"../jp/index.html\">日本語</a>    <a href=\"../en/index.html\">English</a>  </div></div>");