hwWmiServerPort 1.3.6.1.4.1.2011.6.139.11.1.91.1.3

This object indicates the server port number attribute of this wmi server profile.