document.write("/**/\n");