window.onload=window_onload;

function window_onload()
{
	if (top.document.all)
	{
		var title = top.document.all("title");
	
		if (title != null)
		{
			title.filters[0].Apply(); 
			title.innerHTML = document.title; 
			title.filters[0].Play(); 
		}
	}	
}