anyone know the size for the aircon belt for an ek4?

iirc it was 890 or 915, just can't remember which one exactly