Convert #142236 to RAL