#!/bin/bash

#      for name [ in word ] ; do list ; done

for FILE in run_0[01][0123456789].txt ;
do 
	echo FILE=$FILE;
	/bin/ls -hl $FILE;
	RN=`echo $FILE | cut --char=5-7`
	time get-header-info.sh $RN;
done

exit