document.write(' [1442/939]');