function contact_info(user,domain) {
	locationstring = "mailto:" + user + "@" + domain;
	window.location = locationstring;
	}
	
function ChangePic(picno) {
   
   document.images["Pic"].src = ImgOver[picno].src
   document.images["Pictitle"].src = title[picno].src;
  
}