12158 ) ( 580 .)