The PIX will choose from a range of ports dependent on the original source port. For example:
- If the source port is TCP/UDP 1-511, then the PIX will PAT the SRC address to one in that range.
- If the source port is TCP/UDP 512-1023, then the PIX will PAT the SRC address to one in that range.
- If the source port is TCP/UDP 1024-65535, then the PIX will PAT the SRC address to one in that range.
So you're original ports are in the range under 1024, therefore the PIX chooses a poart in that range. This can't changed however, it's just how it works.