function highlight(boxelement) {

        boxelement.style.border = '3px solid #000000';

        boxelement.style.color = '#000000';

}



function unhighlight(boxelement) {

        boxelement.style.border = '3px solid #ffffff';

        boxelement.style.color = '#666666';

}