var color = '';function over(id) {
    if (document.layers) {
        window.color = window.document.layers[id].bgColor;
        window.document.layers[id].bgColor = '#336699';    }
    else if (document.all) {
        window.color = window.document.all[id].style.background;
        window.document.all[id].style.background = '#336699';    }}
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;}