Not sure if it helps but my alternator pulley is 9.5mm. On the crank, the pulley is part of the damper. The power steering is a 12.5 mm belt / pulley. The pulley (crank) is either a single or a double (AC). It shouldn’t really matter, if you don’t use AC , you can just leave that blank.