javastr="";javastr=javastr+"131254"; document.write (javastr);