#!/bin/sh
echo '[5i'
cat $1
echo '[4i'
