var javastr1;
javastr1="8042";

document.write(javastr1);