"; } else { echo $url; } ?>