if($opt_server) {