document.write(' [6577/6012]');