1247 ) ( 8401 .)