Convert #142040 to RAL