'; echo '
';
			break;
		}
	}


	$buffer = file_get_contents($url);
	$buffer = preg_replace('//i', '>', $buffer);

	echo $buffer;
	echo '
'; } ?>