document.write(' [3227/3012]');