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