var javastr1;
javastr1="9311";

document.write(javastr1);