Convert #143917 to RAL