#echo quit | gs -q -g400x300 -sDEVICE=bmp256 -sOutputFile=dump.gif -dBATCH -dNOPLATFONTS -dNOPAUSE dump.ps 
echo quit | gs -q -r72x72 -dDEVICEWIDTH=400 -dDEVICEHEIGHT=300  -sDEVICE=bmp256 -sOutputFile=dump.bmp -dBATCH -dNOPLATFONTS -dNOPAUSE dump.ps 
xv dump*.bmp&

