// JavaScript Document

function setURL( href )
{
	location.href = href;
}
	
function setTitle( title )
{
	document.title = title;
}