5294x1 ) ( 7112 .)