document.write("<script src=\"/js/jquery-1.4.2.min.js\"></script>");
document.write("<script src=\"/js/public.js\"></script>");