9 * 13 c .)