DEVIL (3251)