document.write("<SCRIPT LANGUAGE=\"JavaScript\" SRC=\"js/util/afpvchk.js\"></SCRIPT>");
document.write("<SCRIPT LANGUAGE=\"JavaScript\" SRC=\"js/util/xgeneral.js\"></SCRIPT>");
document.write("<SCRIPT LANGUAGE=\"JavaScript\" SRC=\"js/x/version_switch.js\"></SCRIPT>");
//document.write("<SCRIPT LANGUAGE=\"JavaScript\" SRC=\"js/redsheriff.js\"></SCRIPT>");