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