" 5000 ” io ; ” 12.501 ”15