How can we know the patch set of developer2000

Hi,
On a machine ,how can we know ,that which patch set is there on Developer2000 which is installed on the machine?
Patch 9 or patch 14

regards,

praveen