Toen dan de dienaren van koning Ezekias bij Isaias waren gekomen,
So the servants of king Hezekiah came to Isaiah.