var r0 = "http://www.humi.keio.ac.jp/en/";
document.write("<SCRIPT LANGUAGE=\"JavaScript\" SRC=\"" + r0 + "ex/common.js\"></SCRIPT>");
document.write("<SCRIPT LANGUAGE=\"JavaScript\" SRC=\"" + r0 + "ex/pulldown.js\"></SCRIPT>");