#!/bin/sh
#
# $Id$


echo $1;