#!/bin/tcsh -f


set NUMMER = $#
while `expr $NUMMER != 0`
	echo $NUMMER
        /prog/software/PROCHECK/procheck/procheck.scr $argv[1] 2.4
	shift
	set NUMMER = `expr $NUMMER - 1`
end
unset $NUMMER