Convert #142375 to RAL