The radius of Venus as determined by planetary radar and Mariner 5 radio tracking data.