function setFontSize()
{
	if(arguments.length>0)
	{
		setCookie('size',arguments[0])
	}
	
	var size = getCookie('size');
	if(size != null) 
	{ 
		document.body.style.fontSize=size; 
	}
	
	var f = frames['mwpFrame'];
	if(f)
	{
		f.document.body.style.fontSize=size;
	}
}

function fav(name, uri) 
{
	if(document.all) 
	{
		window.external.AddFavorite(uri, name);	
	}
	else if(window.sidebar)
	{
		window.sidebar.addPanel(name, uri, '');
	}
	else
	{
		alert('Your browser does not support the automatic addition of bookmarks');
	}
}