window.onload = initializeBody;   // global code


function initializeBody() {
	
	var option1 = document.getElementById('option1');
    addHighlights(option1);

	var option2 = document.getElementById('option2');
	addHighlights(option2);
	
	var option3 = document.getElementById('option3');
    addHighlights(option3);

	var option4 = document.getElementById('option4');
    addHighlights(option4);
}

function addHighlights(item){
	item.onmouseover = highlightMenuItem;
	item.onmouseout = unHighlightMenuItem;
}

function highlightMenuItem() {
    this.style.border = "3px solid #4D0000";
}

function unHighlightMenuItem(){
	this.style.border = "3px solid #46471D";
}