function setiframesrc(url)
	{
	document.getElementById("iframedocument").src = url;
	}