del as.txt