The average length of crocodiles in a swamp is 11.5 feet. if the lengths are normally distributed with a standard deviation of 1.7 feet, find the probability that a crocodile is more than 11 feet long.