function doZoom(size){
		document.getElementById('zoom').style.fontSize=size+'px'
	}
	function cleartext(e) {
		e.value='';
		e.focus();
	}
	function SetBgColor(co)
{
		setCookie(co);
}