20447 ) ( 8072 .)