// JavaScript Document

// roll over functions
function over(num) {
  if(document.images) {
    revert[num] = document.images[inames[num]].src;
    document.images[inames[num]].src = flipped[num].src;
  }
}
function out(num) {
  if(document.images) document.images[inames[num]].src = revert[num];
}

function navOver(name) {
	document.getElementById(name).src = "images/dots/show.jpg"
}
function navOut(name) {
	document.getElementById(name).src = "images/dots/blank.jpg"
}


// end of roll over functions