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