document.write(' [2355/1542]');