document.write(' [5372/2030]');