What is the model # of the hall effect sensor?