echo "quit" | gs -q -r2000x2000 -sDEVICE=pdfwrite -sOutputFile=01.12.28.fm1.pdf 01.12.28.fm1.ps