javastr="8417" document.write(javastr)