# code to resolve what $url is going to be
# ...

# redirection
print "Location: $url\n\n";