irule to redirect https and ports

I have http redirect to https working fine. It is working fine and dandy as expected but the problem is that the users have to specify ports since the http is not default port. For instance, http://1...