Echo'ing the contents of a file

//Get the url of a file and echo that file - this can be a remote web site file or a local one
if (isset($_POST['url']))
{
	$url_string = $_POST['url'];
	$url_string = stripslashes(htmlentities(strip_tags($url_string)));
	echo file_get_contents("http://$url_string");
}