8130x3 ) ( 4715 .)