function oeffner(datei,name,breite,hoehe) {
        newWin = window.open("" + datei, "" + name, "scrollbars=0,toolbar=0,location=0,directories=0,status=0,resizable=0,width=" + breite + ",height=" + hoehe);
}
function getSel()
{
	if (document.getSelection) txt = document.getSelection();
	else if (document.selection) txt = document.selection.createRange().text;
	else return;
	txt  = txt.replace(new RegExp('([\\f\\n\\r\\t\\v ])+', 'g')," ");
	oeffner('http://www.einzelhandelskaufmann.de/includes/lexikon.php?text=' + txt,'notiz',460,520)
}