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