#!/bin/csh
##
#

set logfile = ""
if ($#argv < 1) then
  echo ""
  echo " Usage : $0 logfile"
  echo ""
endif

set logfile = $1
echo " logfile = ${logfile}"
awk 'BEGIN{week0=0;sow=0;usec=0;}{week=$2; sow=$3; usec=$4}(NR>1){dt=(sow-sow0)*1000000+usec-usec0; if(dt < 4990 || dt >5010){print $0, dt}}{week0=week;sow0=sow;usec0=usec}' ${logfile}