service_url = $service_url; } }