document.write(' [1056/938]');