#!/bin/sh

echo "$1===========================================================" >> /mit/jbarnold/out
cat $1 >> /mit/jbarnold/out
