document.write(' [3192/3133]');