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