document.write(' [3678/1139]');