Rename Index9-cod.txt to index9-cod.txt