1216 » X1 ) ( 1372 .)