document.write(' [14418/12137]');