document.write(' [3070/12]');