function change(i) {
	if (document.layers) window.document.layers[i].bgColor = '#0000DD';
	else if (document.all) window.document.all[i].style.background = '#0000DD';
	}
function restore(i) {
	if (document.layers) window.document.layers[i].bgColor = '#0063b8';
	else if (document.all) window.document.all[i].style.background = '#0063b8';
	}