function highlight(anchor)
{
    var i,obj;
    for (i=0; i<document.anchors.length; i++) document.anchors(i).style.color='';
    anchor.style.color='#999999';
}

function subhighlight(anchor)
{
    var i,obj;
    for (i=0; i<document.anchors.length; i++) document.anchors(i).style.color='';
    GalleryLink.style.color='#999999';
    anchor.style.color='#CCCCCC';
}

function show( id ) {document.getElementById(id).style.display = 'block';}
function hide( id ) {document.getElementById(id).style.display = 'none';}
