what size of belt you guys use for 3.8 or 3.7 pulley???