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