US$4.2