function putColor(img) {
	if (!document.getElementById) return;
	document.getElementById(img).src = "images/but/" + img + '_over.gif';
}
function outColor(img) {
	if (!document.getElementById) return;
	document.getElementById(img).src = "images/but/" + img + '.gif';
}
function backStyle(a) {
   if (!document.getElementById) return;
   h=document.getElementById(a);
   h.style.borderColor="White";
   h.style.backgroundColor="#8a9bc8";
}
function realStyle(a) {
   if (!document.getElementById) return;
   h=document.getElementById(a);
   h.style.borderColor="Black";
   h.style.backgroundColor="#E3E7F0";
}