document.write(' [7960/6344]');