document.write(' [14019/10372]');