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

display "$1"*.pgm