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