HRX217. Engine family is 3HNXS.1871AK. My guess is 2006 or 2007 from the EPA sticker. This is the kind with the choke as a manual setting on the throttle on the handle.
I got this mower for $6 at an auction sale. The previous owner's son was there and said that his dad had replaced the carb...