function filterChars(s, charList) {
			var s1 = "" + s;
			var i;
			for (i = 0; i < s1.length; )
			{
				if (charList.indexOf(s1.charAt(i)) < 0)
					s1 = s1.substring(0,i) + s1.substring(i+1, s1.length);
				else
					i++;
			}
		return s1;
}

function setPageHeight(element) {
	var y=document.getElementById(element).style.height;
	if (y > 300)
		return y;
	else
		return 300;
}