B16 pully??

My fiend has a B16 in his CRX and he only needs a pully for his alt
so what car would he get it from he said a SOHC VTEC del sol

I thought that they would be different due to the differnce one being DOHC.

Anyone KNOW???