document.write(' [2493/759]');