document.write(' [15492/3835]');