added source/hs/P17.hs