GPO trusted sites with ports in url

Hi,

I had a request to add a new website to the GPO of the trusted sites.

This time it had a port specified : www.bankxxx.be:2443

Should I add the port in the GPO?

*.anybank.be:2443    2    (Trusted)

or just

*.anybank.be    2 (Trusted)

Thanks in advance,

Joeri