20010806 india: Joshi discharged from hospital