5509X1 ) ( 8 , 020 .)