#!/bin/sh ( cat <