print get_month_number('July');