host_name directive includes ssh key?

In some of our service definitions, one directive looks like this:
host _name frodo; key 113889

I’m guessing that the 113889 is the ssh key for host frodo, right? But I don’t see this syntax described in the documentation.

Is this some syntax that’s defined locally, and where might I look.

Thanks to all…Lyle

not sure but i think wghat’s after the “;” is simply ignored.
So no it’s not an ssh key. looks more like some note made by who made the config. (would have been better in a comment line)