#!/bin/bash HEADER=$(cat <