Convert #13EFDE to RAL