var libLoc = (document.getElementById("jsLibrary") == undefined) ? "" : document.getElementById("jsLibrary");
libLoc.parse = libLoc.src.split("/");
libLoc.file = libLoc.parse.pop();
libLoc.host = libLoc.parse.join("/");

document.write("\n");
document.write("<script src='" + libLoc.host + "/userAgent.js' type='text/javascript' ></script>");
document.write("<script src='" + libLoc.host + "/Mouse.js' type='text/javascript' ></script>");
document.write("\n");