set ptfile = "$HOME/www/web-dir-data/fac.txt"
   set ttfile = "$HOME/www/web-dir-data/fac-titles.txt"