Convert #142637 to RAL