document.write(' [10226/11250]');