function WriteInputExample(inputname, exampletxt) {
	var e = document.getElementById(inputname);
	if (exampletxt != "") { e.value = exampletxt; }
}