Technically 443 is for HTTP over SSL. SSL (or TLS) can be used to encrypt many different TCP protocols (IMAP, POP, SMTP, HTTP, Telnet, ...).</pedant>