document.write(' [7879/2320]');