I don't have one, it will be a trial and error thing. However running a string around the pulleys with the adjuster at mid travel will get you a # then look at the belt size catalog for something close.

Given the alternator won't turn, this is likely your original problem. Give everything a spin.