document.write(' [13941/14001]');