Convert #143425 to RAL