# deminp.awk
# uses file of export file names
# e.g.: gawk -f demimp.awk names
  {
    # system ("ls " $1) 
    system ("/usr/local/3party/arcinfo/arcexe70/programs/arc import auto /scratch/ise/dem/" $1 " [before " $1 " . ]") 
  }