It would have been a -9236 (that was the first one I saw on Google when looking for devices without looking further)