document.write(' [6360/3993]');