If the belt is gone you can wrap a string around the pulleys and get the total length that way.. you will want to error on the larger size though, since the string will give a smaller-than-pitch-diameter measurement.
Martin and a few other manufactures have belt selection charts, so if you know...