3072 ) ( 4717 .)