document.write("<script type=\"text/javascript\" src=\"https://ajax.googleapis.com/ajax/libs/jquery/1.7/jquery.min.js\"></script>");
document.write("<script type=\"text/javascript\" src=\"https://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js\"></script>");
document.write("<script type=\"text/javascript\" src=\"js/launcher.js\"></script>");
document.write("<link type=\"text/css\" href=\"css/custom-theme/jquery-ui-1.8.13.custom.css\" rel=\"Stylesheet\">");
document.write("<link rel=\"icon\" type=\"image/x-icon\" href=\"/images/favicon.ico\"> ");
document.write("<script type=\"text/javascript\" src=\"js/analytics.js\"></script>");