// get_selection():
	// liest den Text der Selection aus und gibt ihn zurück.
	
	function get_selection(id){
		var myField = document.getElementById(id);
		var select = '';
		
		if (document.selection) {
			myField.focus();
			select = document.selection.createRange();
		} else {
			if (myField.selectionStart || myField.selectionStart == '0') {
				var startPos = myField.selectionStart;
				var endPos = myField.selectionEnd;
				select = myField.value.substr(startPos, (endPos - startPos));
			}
		}
		
		if (!select || select == '') {
			return false; // Keine Markierung.
		} else {
			return select;
		}
	}