( 15888 x 3 ) ( 7496 .)