var links = new Array();
var labels = new Array();
var reslinks = new Array();
var reslabels = new Array();
var images = new Array();

links[0] = "index.html";
links[1] = "major.html";
links[2] = "http://www.go-systems.blogspot.com";
links[3] = "projects.html";
links[4] = "courses.html";
links[5] = "core-courses.html";
links[6] = "faculty.html";
links[7] = "military.html";
links[8] = "http://www.usna.edu' class='sep";
links[9] = "http://www.usna.edu/EngineeringandWeapons";
reslinks[0] = "https://usnaemail.usna.edu/";
reslinks[1] = "https://blackboard.usna.edu/";
reslinks[2] = "http://intranet.usna.edu/Library/Data/Ieee_switch.htm";
reslinks[3] = "http://wselabmax.usna.edu";
reslinks[4] = "http://wselabmax.usna.edu/projects.htm";
labels[0] = "WSE Dept Home";
labels[1] = "Systems Engineering Major";
labels[2] = "Visit Our Blog";
labels[3] = "Student Project Showcase";
labels[4] = "Major Courses";
labels[5] = "Non-major (core) Courses";
labels[6] = "Tenure Track Faculty";
labels[7] = "Military and Visiting Faculty";
labels[8] = "USNA Home";
labels[9] = "Engineering Division";
reslabels[0] = "WebMail";
reslabels[1] = "Blackboard";
reslabels[2] = "IEEEXplorer";
reslabels[3] = "WSE Technical Support";
reslabels[4] = "Student Project Archive";
images[0] = "1.jpg";
images[1] = "2.jpg";
images[2] = "3.jpg";
images[3] = "4.jpg";

function writeNav(current)
{
  var i;
  for (i=0;i<links.length;i++)
  {
    document.write("<li><a href='" + links[i] + "'");
    if (i==current)
    {
      document.write(" class='navOn'");
    }
    document.write(">" + labels[i] + "</a></li>");
  }
}

function writeNav2()
{
  var i;
  for (i=0;i<reslinks.length;i++)
  {
    document.write("<li><a href='" + reslinks[i] + "'");
    document.write(">" + reslabels[i] + "</a></li>");
  }
}

function randImages()
{
  var i, j, k;
  i = Math.floor(Math.random() * 4);
  do
  {
    j = Math.floor(Math.random() * 4);
	k = Math.floor(Math.random() * 4);
  }
  while (j==k || j==i || k==i);
  
  document.write("<img src='images/" + images[i] + "' width='200' />");
  document.write("<img src='images/" + images[j] + "' width='200'  />");
  document.write("<img src='images/" + images[k] + "' width='200' />");
}