#!/bin/sh KEYLEN=$1 #header cat <