!EF EG((int.state=go3)+(int.state=go4));