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