513 Day is an unofficial holiday in Cincinnati, as May, the fifth month of the year, combined with 13 makes the numbers 513, ...