document.write(' [10223/8718]');