13245

Natural number.