// JavaScript Document
function show_location1(){
document.getElementById("location1").style.visibility="visible";
}
function hide_location1(){
document.getElementById("location1").style.visibility="hidden";
}
function show_location2(){
document.getElementById("location2").style.visibility="visible";
}
function hide_location2(){
document.getElementById("location2").style.visibility="hidden";
}
function show_location3(){
document.getElementById("location3").style.visibility="visible";
}
function hide_location3(){
document.getElementById("location3").style.visibility="hidden";
}
function show_location4(){
document.getElementById("location4").style.visibility="visible";
}
function hide_location4(){
document.getElementById("location4").style.visibility="hidden";
}
function show_location5(){
document.getElementById("location5").style.visibility="visible";
}
function hide_location5(){
document.getElementById("location5").style.visibility="hidden";
}
function show_location6(){
document.getElementById("location6").style.visibility="visible";
}
function hide_location6(){
document.getElementById("location6").style.visibility="hidden";
}
function show_location7(){
document.getElementById("location7").style.visibility="visible";
}
function hide_location7(){
document.getElementById("location7").style.visibility="hidden";
}
function show_location8(){
document.getElementById("location8").style.visibility="visible";
}
function hide_location8(){
document.getElementById("location8").style.visibility="hidden";
}
function change(){

document.getElementById("box1").style.backgroundColor = "#ffffff";
document.getElementById("box1").style.color = "#0a2142";
document.getElementById("box1").id='box1_over';
}
function change_back(){

document.getElementById("box1_over").style.backgroundColor = "#0a2142";
document.getElementById("box1_over").style.color = "#ffffff";
document.getElementById("box1_over").id='box1';
}
function change2(){

document.getElementById("box2").style.backgroundColor = "#ffffff";
document.getElementById("box2").style.color = "#0a2142";
document.getElementById("box2").id='box2_over';
}
function change_back2(){

document.getElementById("box2_over").style.backgroundColor = "#0a2142";
document.getElementById("box2_over").style.color = "#ffffff";
document.getElementById("box2_over").id='box2';
}
function change3(){

document.getElementById("box3").style.backgroundColor = "#ffffff";
document.getElementById("box3").style.color = "#0a2142";
document.getElementById("box3").id='box3_over';
}
function change_back3(){

document.getElementById("box3_over").style.backgroundColor = "#0a2142";
document.getElementById("box3_over").style.color = "#ffffff";
document.getElementById("box3_over").id='box3';
}
function change4(){

document.getElementById("box4").style.backgroundColor = "#ffffff";
document.getElementById("box4").style.color = "#0a2142";
document.getElementById("box4").id='box4_over';
}
function change_back4(){

document.getElementById("box4_over").style.backgroundColor = "#0a2142";
document.getElementById("box4_over").style.color = "#ffffff";
document.getElementById("box4_over").id='box4';
}
function change5(){

document.getElementById("box5").style.backgroundColor = "#ffffff";
document.getElementById("box5").style.color = "#0a2142";
document.getElementById("box5").id='box5_over';
}
function change_back5(){

document.getElementById("box5_over").style.backgroundColor = "#0a2142";
document.getElementById("box5_over").style.color = "#ffffff";
document.getElementById("box5_over").id='box5';
}
function change6(){

document.getElementById("box6").style.backgroundColor = "#ffffff";
document.getElementById("box6").style.color = "#0a2142";
document.getElementById("box6").id='box6_over';
}
function change_back6(){

document.getElementById("box6_over").style.backgroundColor = "#0a2142";
document.getElementById("box6_over").style.color = "#ffffff";
document.getElementById("box6_over").id='box6';
}
function change7(){

document.getElementById("box7").style.backgroundColor = "#ffffff";
document.getElementById("box7").style.color = "#0a2142";
document.getElementById("box7").id='box7_over';
}
function change_back7(){

document.getElementById("box7_over").style.backgroundColor = "#0a2142";
document.getElementById("box7_over").style.color = "#ffffff";
document.getElementById("box7_over").id='box7';
}
function change8(){

document.getElementById("box8").style.backgroundColor = "#ffffff";
document.getElementById("box8").style.color = "#0a2142";
document.getElementById("box8").id='box8_over';
}
function change_back8(){

document.getElementById("box8_over").style.backgroundColor = "#0a2142";
document.getElementById("box8_over").style.color = "#ffffff";
document.getElementById("box8_over").id='box8';
}
//Rotating image code - Happy Hopkins Employees in lower right corner
currentIndx=0;
MyImages=new Array();
MyImages[0]='images/WAH_01-shadow.jpg';
MyImages[1]='images/WAH_02-shadow.jpg';
MyImages[2]='images/WAH_03-shadow.jpg';
MyImages[3]='images/WAH_04-shadow.jpg';
MyImages[4]='images/WAH_05-shadow.jpg';
MyImages[5]='images/WAH_06-shadow.jpg';
imagesPreloaded = new Array(6)

for (var i = 0; i < MyImages.length ; i++)
{
imagesPreloaded[i] = new Image(120,120)
imagesPreloaded[i].src=MyImages[i]
}
 
 function newImage() {

// Makes a random, whole number between 0 and 6

currentIndx=Math.round(Math.random()*5)
document.theImage.src=imagesPreloaded[currentIndx].src
} 
