javastr=8041;document.write(javastr);