function hello() {
	alert("hi!");
}

function setBorder(id,value){
    document.getElementById(id).style.border = value  ; 
}

function setDisplay(id,value){
    document.getElementById(id).style.display = value  ; 
}

function chooseHighRes() {
	setDisplay('highres','block');
	setDisplay('lowres','none');
}

function chooseLowRes() {
	setDisplay('highres','none');
	setDisplay('lowres','block');
}

// For the High Res and Low Res flash video switcher
function switchit(v1, v2) {
	vv1 = document.getElementById(v1);
	vv2 = document.getElementById(v2);
	vv1.style.display = "none";
	vv2.style.display = "block";
}