#!/bin/sh
# (c) Copyright 1994 James H. Lowe, Jr.
# $Id: shak0_gettapenumber_v 1.2 1995/11/20 02:57:43 jhl Exp $
#
sed -e 's@^.*TAPE_NO__\([^_]*\)_.*$@\1@' | awk '{ printf ("%04s\n",$1) }'
exit $?

