document.write("<script language='javascript' src='/js/jquery-1.3.2.min.js'><\/script>");
//document.write("<script language='javascript' src='/js/jquery.tools.min.js'><\/script>");
document.write("<script language='javascript' src='/js/tools.tooltip-1.1.3.min.js'><\/script>");
document.write("<script language='javascript' src='/js/texCommon.js'><\/script>");