Added definition for Leave_Network()