For 1957, two fan pulley sizes are listed in the parts catalogue with the 6.795” pulley being listed for HD cooling. The 7.315” pulley is the standard pulley.