#!/bin/csh

foreach i (*cry)
	echo "<hr noshade>"
	echo "<h2>" $i "</h2>"
	echo "<pre>"
	cat $i
	echo
	../vcb ../data/stat.txt $i
	echo "</pre>"
end 

