function changeBarItem(id, url){
	var obj = document.getElementById(id);
	obj.src = url;
}

function send_mail(dest){
  alert("mail sent");
  var email = dest;
  var emailHost = "cybertec.it";
  urlStr = 'mail' + 'to:' + email + '@' + emailHost;
  location.href = urlStr;  
}

function changeBg(i, myclass){
	var index = parseInt(i);
	var idTable = document.getElementById('nav3');
	var tab = idTable.rows[index].cells[0];
	tab.className = myclass;
}