document.write(' [14088/10047]');