Convert #DEBBDE to RAL