document.write(' [13770/12236]');