20 The king commanded Hilkiyah, and Achikam the son of Shafan, and `Avdon the son of Mikhah, and Shafan the Sofer, and `Asayah the king's servant, saying,