#!/bin/sed -f
s//^H/g
s/$/$$/
s/	/\\\\tt/g