4 ) { header ("Location: $url"); } else { print ""; print "Sorry, \"" . $arr[2] . "\" is an unknown redirection code.

"; print "Please contact eh3@mit.edu if you "; print "need help with this site."; print ""; } ?>