8010 x 3 ) ( 4711 .)