function changecolor(newcolor) {
	if (document.layers) { document.layers['barlinks'].bgColor = newcolor; }
	if (document.all) { document.all.barlinks.style.backgroundColor = newcolor; }
	if (!document.all && document.getElementById) {
		document.getElementById('barlinks').style.backgroundColor = newcolor;
	}
}