273 Rockers, Shafts and Push Rods

What is the overall push rod length and are they 5/16" or 3/8" diameter?