15720x1 ) ( 6197 .)