function BGColor(colour){ document.bgColor=colour;}

function ChSize(size) {	document.body.style.fontSize = size + "px";}