#!/bin/csh
if ( $#argv != 1) then
  echo "give TIMIT label file as input"
  exit
endif

echo "MillisecondsPerFrame: .0625"
echo "END OF HEADER"
cat $1
