13200x1 ) ( 1673 .)