Convert #142733 to RAL