10123x2 ] ( 5709 .)