document.write(' [15400/3717]');