如果正多边形的一个外角为72°,那么它的边数是______.