12157

Natural number.