document.write(' [5950/4872]');