rename 12.c to 17.c