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