20100611 world.us: 9/11: Ground Zero workers to get $712 million as compensation