#! /bin/sh
# =============================================================================
#  $Id$
#  $Name$
# =============================================================================
echo $#
exit 0
