12602x2 ) ( 6058 .)