(that is) rāvaṇan the wealthy king of lankai, —