crafty -3835 {crafty},