12189x1 ) ( 6639 .)