I mean that number "112" is not used anywhere except this comment.