x 2 ) ( 5253 .)