document.write(' [6990/4562]');