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