Update 17-12.scm