document.write(' [6882/6485]');