#! /bin/csh
#if ($#argv != 1) then
#	 echo "**** (?????) ***"
#	 exit
#endif
cat *.prm > w2.lis

