Convert #142789 to RAL