#!/bin/csh -f

cat $* | tr -d 'Oo\266\2770-9\135\133:' | tr -s '\011\040' '\012\012'