<!--

function titlechange(titletext){
	parent.document.title = titletext;
}


//-->