function popUp(url)
{
	window.open(url);
}

function changeFontSize(inc)
{
	var b = document.getElementsByTagName('body');
	for(n=0; n<b.length; n++) {
		if(b[n].style.fontSize) {
			var size = parseInt(b[n].style.fontSize.replace("px", ""));
		} else {
			var size = 12;
		}
		b[n].style.fontSize = size+inc + 'px';
	}
}

function setFontSize(sz)
{
	var b = document.getElementsByTagName('body');
	for(n=0; n<b.length; n++) {
		b[n].style.fontSize = sz + 'px';
	}
}