document.write(' [11771/3678]');