PIX 501: Configure port forwarding (multiple)

[mattlau]

So I'm looking to do the following, and would appreciate anyone who could provide PIX command line values for the following settings:

-forward port 443 to internal IP 10.1.11.2 and port 8443 to internal IP 10.1.11.3

-allow any connection (in/out) for the above ports to pass from the external IP, 12.232.100.100, to the proper internal IP, unhindered by the PIX firewall

Note: IPs have been changed for security purposes, but if you are providing command line values, please use the IPs and ports above, so I can simply change them.

Thanks!