If the router Cisco returns the given output and has not had its router ID set manually, what value will OSPF use as its router ID?