and King Seleucus, ruler of all Asia, even used to pay the costs of the Temple sacrifices from the revenues he collected.