4.17c
