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