20257 * 1 ) ( 4867 .)