#!/bin/sh
echo ${1+"$@"} >&7
cat <&6
exit 0