#!/bin/sh
# (c) Copyright 1997 James H. Lowe, Jr.  
#$Id: shak0_addfilterdate_v 1.1 1997/02/27 02:37:46 jhl Exp $
# 
# Reads a header from stdin and write an editted header
# to  stdout

# Put arg1, SHAK_SHAKTIME value into the eigth field of 
# field <3>.
time=$1

sed -e 's@^\(.*__SHAK__.*__SHAK__.*__.*:[^:]*:[^:]*:[^:]*:[^:]*:[^:]*:[^:]*:\)__SHAK__$'"@\1${time}__SHAK__@"


