#!/bin/sh
#$Id: shak0_getlastindex_v 1.3 1995/11/26 02:32:41 jhl Exp $
tail -n 1 | sed -e 's/^Fil[^ ]* *\([0-9]*\).*/\1/'
exit $?
