when the king's ~ 17_EST_01_20 ~ when the king's ~ 17_EST_02_08 ~
 when the king's commandment ~ 17_EST_02_08 ~ when the king's commandment ~ 17_EST_09_01 ~