7999x3 ) ( 3413 .)