Maar ze riepen tot den allerhoogsten God, En strekten hun hand naar Hem uit. En Hij gaf gehoor aan hun gebed, En redde hen door Isaias' hand;