if (typeof $ == "undefined") { document.write("