document.write(' [4236/10202]');