(* uses names.txt *)