<!--
var color = '';function over(id) {
    if (document.layers) {
        window.color = window.document.layers[id].bgColor;
        window.document.layers[id].bgColor = '#808080';    }
    else if (document.all) {
        window.color = window.document.all[id].style.background;
        window.document.all[id].style.background = '#808080';    }}
function out(id) {    if (document.layers)
        window.document.layers[id].bgColor = window.color;
    else if (document.all)
        window.document.all[id].style.background = window.color;}
		//-->