#! /bin/sed -f
# Last edited on 2000-10-05 05:17:55 by stolfi
s/S/sh/g
s/C/ch/g
s/E/ee/g
s/T/cth/g
s/K/ckh/g
s/P/cph/g
s/F/cfh/g