PDT Properties src/pdt_mud.pl|