DEVIL (3235)