20571 ) ( 9242 .)