20544x1 ) ( 6241 .)