function menuMouseOver(img){
     document.getElementById(img).src = "images/" + img + "_on.gif";
}

function menuMouseOut(img){
     document.getElementById(img).src = "images/" + img + "_off.gif";
}

function highlightProduct(product){
    document.getElementById('product_' + product).style.borderColor = '#dddddd';
     document.getElementById('product_' + product).style.color = '#003366';
}

function unhighlightProduct(product){
    document.getElementById('product_' + product).style.borderColor = '#ffffff';
     document.getElementById('product_' + product).style.color = '#999999';
}

function fetch(url){
    location.href = url;

}