print "$data('server_name')\n";