12490x1 ) ( 6909 .)