document.write(' [12939/11139]');