Timing belt - 18 degrees = How many teeth off?
 

93 Honda Del sol S - D15B7 engine.
After testing with a timing light, we discovered the red timing mark on the
crank shaft pulley was off quite a bit. Adjusted the distributor a lot
to get the mark to line up with the top marker. This led us to believe
that cam timing must be off quite a bit too.

Took the valve cover and timing belt front cover off. Got the UP
and two other timing marks positioned correctly and noticed the white timing
mark on the crankshaft pulley was off by 18 degrees. Apparently what happened
is the friend who did the timing work lined up the red (ignition) timing mark
(3 little lines with the middle one red) as the TDC mark.

Later I learned from http://www.aa1car.com/library/2003/us70343.htm )
the following:

On some Honda four-cylinders, you may find two different timing marks. A
white mark may be used to indicate Top Dead Center (TDC) and a red mark
for ignition timing. If you use the red mark instead of the white one,
valve timing will be off as much as 18 degrees.

That's exactly what has happened. How many teeth adjustment of the cam
timing sprocket is needed to correct a 18 degree mistake?

Thanks.