#!/bin/sh

LABEL=`basename $0`
# echo "*** $LABEL: $*"
echo "*** $LABEL: $*"
exit 0
