DEVIL (3252)