$5, $10, $15 sale

What's the diameter of the front left pulley?