img01= new Image(232,81);
img01.src="images/logo.png";
img02= new Image(951,68);
img02.src="images/bg-header.png";
img03= new Image(943,442);
img03.src="images/bg-content.png";
img04= new Image(18,442);
img04.src="images/bg-content-r.png";
img05= new Image(59,53);
img05.src="images/menu-portfolio.png";
img06= new Image(59,53);
img06.src="images/menu-portfolio_h.png";
img07= new Image(59,53);
img07.src="images/menu-services.png";
img08= new Image(59,53);
img08.src="images/menu-services_h.png";
img09= new Image(59,53);
img09.src="images/menu-profile.png";
img10= new Image(59,53);
img10.src="images/menu-profile_h.png";
img11= new Image(59,53);
img11.src="images/menu-kb.png";
img12= new Image(59,53);
img12.src="images/menu-kb_h.png";
img13= new Image(200,800);
img13.src="images/bg.png";

window.onload = rollSetUp

log = window.console.log

function getElementsByClassName(cls, root, tag){
  root = root || document;
  tag = tag || '*';
  var l = root.getElementsByTagName(tag)
  var out = [];
  for (var i = 0; i < l.length; i++) {
    o = l[i]
  	if (o.className == cls || o['class'] == cls) {
  	  out.push(o)
  	}
  }
  return out;
}

curr_page = 0;
all_elements = [
	{href: "portfolio-gps.html", img: "portfolio-thumb_gps.png"},
	{href: "portfolio-l3.html", img: "portfolio-thumb_l3.png"},
	{href: "portfolio-fireye.html", img: "portfolio-thumb_fireye.png"},
	{href: "portfolio-retro.html", img: "portfolio-thumb_retro.png"},
	{href: "portfolio-goclear.html", img: "portfolio-thumb_goclear.png"},
	{href: "portfolio-pcb.html", img: "portfolio-thumb_pcb.png"},
	{href: "portfolio-fusion.html", img: "portfolio-thumb_fusion.png"},
	{href: "portfolio-transport.html", img: "portfolio-thumb_transport.png"},
];





function rollSetUp(){
	var header_links = getElementsByClassName('menu', null, 'a');
	for (var i=0; i < header_links.length; i++) {
		var a_link = header_links[i];
		a_link.onmouseover = rollOver;
		a_link.onmouseout = rollOut;
		// put more here if needed
	}
		
}

function rollOver(e){
	var img = this.getElementsByTagName('img')[0];
	img.src = img.src.replace('.png', '_h.png');
}

function rollOut(e){
	var img = this.getElementsByTagName('img')[0];
	img.src = img.src.replace('_h.png', '.png');
}