* crafty , 3835 ,
- crafty , 6175 , 6191 ,
~~~~~~