Sears lawnmower department couldn't help and manual does not specify.

Hi,
Where did that number come from? Sears model numbers are mostly 9 digits. Please advise with more info.
Peace,
Clarke