<?php

if(isset($_GET['url'])) {
	$url = urldecode($_GET['url']);
	header("Location: $url");
} else {
	echo "nubbbbbbbbberz\n";
}