function contact(name) { 
	var user = "";
	var server = "";
	if('naci' == name){
		user = "naci";
		server = "eteration.com";
	}
	else if('lawrence' == name){
		user = "lmandel";
		server = "ca.ibm.com";
	}
	else if('arthur' == name){
		user = "ryman";
		server = "ca.ibm.com";
	}
	else if('feedback' == name){
		user="feedback";
		server="eclipsewtp.org";
	}
	window.open("mailto:" + user + "@" + server, "_self"); 
}