var fsize = 13;
function changesize(inc) {
	if (!document.getElementById) {return false;} //If the browser doesn't support getElementById then don't do anything
	var doc_var = document.getElementById('rightbody');
	if (inc == 'increase') {
		fsize +=1;
		if (fsize>15){fsize=15;}
	}
	else if (inc == 'decrease') {
		fsize -=1;
		if (fsize<13) {fsize=13;}
	}
	doc_var.style.fontSize = fsize +'px';
}


function changepic(url){
	var pic = document.getElementById("mainpic");
	pic.src = url	
}