72 For navigational purposes, each great circle on the Earth has a length of __________.