" ; echo exec("/home/tools/cgi-bin/get-cid.pl $NUM $PVDR $DEL" ) ; ?>