$File = "P:/K/kmartin/set1.txt";