15712

Natural number.