Convert #DEBDAE to RAL