What is the manufacturer's code on the top of the receiver?