Då de utförde ordern,