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