निर्दहेच्च पुरीं लङ्कां निर्दहेच्च महोदधिम्। रावणस्य च नीचस्य कीर्तिं नाम च नाशयेत्॥
nirdahecca purīṃ laṅkāṃ nirdahecca mahodadhim| rāvaṇasya ca nīcasya kīrtiṃ nāma ca nāśayet||
English Meaning
He would have then burnt down the city of Lankā, dried up the deep and blotted out the name and fame of Rāvana.
— M.N. Dutt (1891–94, public domain)