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