{"result":"25000000000.0"}