function contact() {
	mailadress = "nova-infos" + "@" + "ethz.ch";
	location.href="mailto:" + mailadress;
}