document.write(' [993/134]');