function ChangeColor(ColorName)    { 
 document.getElementById("divs").style.background = ColorName;
}

function zoom(size)
{
	document.getElementById('Zoom').style.fontSize=size+'px';
}