Devors (jingle)