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