Update 7_12.c