function pdfpextr()
{
  if [ $# -gt 2 ]; then
    gs -sDEVICE=pdfwrite -dNOPAUSE -dBATCH -dSAFER \
       -dFirstPage=${1} \
       -dLastPage=${2} \
       -sOutputFile="${3%.pdf}_p${1}-p${2}.pdf" \
       "${3}"
  else
    echo "${FUNCNAME} <first page> <last page> <input file>"
  fi
}