12193 ) ( 522)