function safari_preferito(p)
	{
	document.getElementById("iframe_safari").src=p;
	document.getElementById("safari_URL").innerHTML=p;
	}