sätta domen i verkställighet.