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