var javastr1; javastr1="6393"; document.write(javastr1);