How to configure static PAT a range of ports in PIX 501?

I am using DHCP PPPoE DSL.
I need to configure static PAT to translate port 20000 to 20019 to one PC inside.
Is there a way to configure static PAT of a range with one command line? or I have to PAT each port one by one?

Please kindly suggest. Thank you.

The command is

static (inside,outside) tcp interface 20000 x.x.x.x 20000 netmask 255.255.255.255

static (inside,outside) tcp interface 20019 x.x.x.x 20019 netmask 255.255.255.255

Where x.x.x.x is the ip address of the pc on the inside.

Hope this helps...

Sidd

[code:1]static (inside,outside) tcp interface 20000 x.x.x.x 20000 netmask 255.255.255.255

static (inside,outside) tcp interface 20019 x.x.x.x 20019 netmask 255.255.255.255

[/code:1]

Sidd , correct me if I am wrong but I am not quite sure that by this all the ports ranging from 20000 to 20019 will get translated