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