Convert #80EFDE to RAL