javastr="4015"
   document.write(javastr)