I can't find a file called kermit/a/isok6.txt on watsun.cc.columbia.edu
Sorry. Should have been "isok7.txt". Please blame on jet lag. john