* devils , 1139 , 1140 , 1142 ,
- devils , 7700 , 8163 ,
~~~~~~