Irule for multiple links in the same website

Thanks Henrik for the reply.

The users will first connect https://def.test.com.uk via 443. Once logon, they will click the internal link

http://abc.test.com.uk:10000/dir -> which should be redirected to their end as https://def.test.com.uk/dir.

http://abc.test.com.uk:10000/dir/repository.jlp ->>>> https://def.test.com.uk/dir/repository.jlp

Our requirement is, the hostname which is abc.test.com.uk and port no 10000 should not be visible for the users.

Thank you.