12217

Natural number.