( 1580 ) ( 50200 .)