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