You administer client computers that have Windows 7 Enterprise installed.

A server named Server1 has an IP address of 10.10.4.56. The server accepts Remote Desktop connections at a custom port 10876.

You need to connect to the server from a client computer by using Remote Desktop.

What should you do?

A.
From an elevated command prompt, run mstsc.exe /v:Server1:10876.

B.
From an elevated command prompt, run mstsc.exe 10.10.4.56 port: 10876.

C.
From an elevated command prompt, run mstsc.exe Server1 port:10876.

D.
From the Advanced tab of your Remote Desktop connection, configure the IP address and port of Server1 as the RD Gateway Server.