document.write(' [14133/10843]');