def.txt