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