document.write(' [487/619]');