document.write("<script language=\"JavaScript\" src=\"js/util/instCheck.js\"></script>");
document.write("<script language=\"JavaScript\" src=\"js/hawaii/version_check.js\"></script>");