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