13117x1 ) ( 6139 .)