20491x2 ) ( 5234 .)