(((5^32)^32)^32)%7=