7687x1 ) ( 4058 .)