I am not sure what the belt length would be with the stock crank pulley, but with my smaller size crank pulley, the belt length I used with a stock accessory drive without the smog pump, was 2226mm in length, although it was a bit on the longer side if I remember correctly. With a stock crank pulley, it would be a little longer. If I were you, drive your car to a parts store, go inside and pick up a couple belts, and try them on in the parking lot, excluding the smog pump. Once you find the right size, buy it, go home and yank the smog pump out.