The Bosch part number is 13246. The sensor is actually made by NTK
Honda used them in a few applications.
Otto in on the money with his part numbers.
If I remember right, a bosch LSU-?? can be made to work also with some work but the ntk sensor is much better in my mind.
Doug