4193x2 ] ( 6407 .)