javastr="4012"
   document.write(javastr)