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