20010507 unknown: Mango prices come down