document.write(' [1708/1307]');