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