5580 ) ( 42032 .)