I'm running a set of Bosch 11A1055 on my twin pulleys but I'm also using an alternator, so the belts may be a different size to the ones you need.
Run a piece of string around the fan pulley, generator/alternator and crank pulley, to get an idea of the length you need.
Jack