function input_dotter(was, Modus) {
	if (was != null) {
		switch (Modus) {
			case "off":	was.style.border = "1px solid";
									break;
				
			case "on": was.style.border = "1px dotted";
									break;				
		}
	}
}