function highlight(id){

	document.getElementById(id).style.border = '1px solid #990000';

	document.getElementById(id).style.background = '#FFCC66';

}

function unhighlight(id){

	document.getElementById(id).style.border = '1px solid #7F9DB9';

	document.getElementById(id).style.background = '#FFFFFF';

}

function setiframe(page){

	document.getElementById("content").contentWindow.document.location.href = page;

	return false;

}