#!/bin/sh # # $Id$ # cat <