#! /bin/csh -f 
# Last edited on 2008-02-04 20:23:19 by stolfi

display "$1"*.pgm < /dev/null >& /dev/null &