Convert #280523 to RAL