document.write(' [8993/3562]');