#!/bin/csh -f

cat $* | sed 's+.*:++' | tr -d '[0-9\135\133]' | sed 's+ *$++'