#!/bin/sh -- cat <