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