document.write(' [1255/962]');