changes until 12:17: