nlines=`wc -l *.c | grep total | awk '{print $1;}'`
if [ $nlines -lt 500 ]; then 	# cannot use <
	marks=0; 
elif [ $nlines -lt 600 ]; then 
	marks=5; 
else 
	marks=10; 
fi
echo marks=$marks