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