Which TCP port is used for communication between Security Manager and an IDP sensor?

Which TCP port is used for communication between Security Manager and an IDP sensor?

A.
7801

B.
7800

C.
7803

D.
443