var rstj=8012;
document.write(rstj);