function HandleMouseOut(id)
    { id.style.backgroundImage = id.style.backgroundImage.replace('_highlight.png', '.png'); }

    function HandleMouseOver(id) {
        id.style.backgroundImage = id.style.backgroundImage.replace('_highlight.png', '.png');
        id.style.backgroundImage = id.style.backgroundImage.replace('.png', '_highlight.png');
        var thisNum = parseInt(id.id.replace('box', ''));
        for (var i = 1; i < 7; i++) {
            document.getElementById('BigBox' + i).style.display = 'none';
        }
        $('BigBox' + thisNum).appear();
    }