url = $url; } }