document.write(' [643/519]');