Convert #142058 to RAL