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

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

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