function openSelectedUrl( field )
  {
    el = document.getElementById(field)
    document.location =  el.options[el.selectedIndex].value
  }

	
	
	var
		// code fuer Sizes/Kleidergroessen
		m = 0;
		l = 1;
		s = 2;


		// font sizes dazu : XXX fuer versch. Node types (div, p, li,...) ans CSS anpassen.
		mPx = 12;
		lPx = 20;
		sPx = 10;

		// alternative Angabe: in Prozent wg. accesibility 
		mPercent = 100;
		//lPercent = 133;
		lPercent = 125;
		sPercent = 82;

	/****
	* setFont 
	* Setzt fuer eine Reihe von CSS Elementen eine neue Fontsize
	* args   :
	*  dir : l= large, s=small
	* return :
	*
	*/

 function setFont( dir )
 {
	//	body = document.getElementById('body');
	//	body.style.color = 'green';
	switch ( dir ) {
		case l:
			newFontSize = lPercent + '%';
			break;
		case s:
			newFontSize = sPercent + '%';
			break;
		default:
			newFontSize = mPercent + '%';
			break;
	}

	node= document.getElementById('body');
	//alert(node.style.fontSize);
	node.style.fontSize = newFontSize; 
	//alert(node.style.fontSize);

/*
	nodeList = document.getElementsByTagName('p');
	for ( i = 0 ; i < nodeList.length; i++ ) { 
		nodeList[i].style.fontSize = newFontSize; 
	} // for i

	nodeList = document.getElementsByTagName('div');
	for ( i = 0 ; i < nodeList.length; i++ ) { 
		nodeList[i].style.fontSize = newFontSize; 
	} // for i

	nodeList = document.getElementsByTagName('li');
	for ( i = 0 ; i < nodeList.length; i++ ) { nodeList[i].style.fontSize = newFontSize; } // for i

	nodeList = document.getElementsByTagName('a');
	for ( i = 0 ; i < nodeList.length; i++ ) { nodeList[i].style.fontSize = newFontSize; } // for i

	*/


	// topmenu fontschalter n und l ("a A"), look umschalten
	elfn =   document.getElementById('fontswn') ;
	elfl =   document.getElementById('fontswl') ;



  // Aktivitaetsanzeige der aA Umschalter:
	switch ( dir ) {
		case l:
			elfn.style.cssText =  "margin-left: 4px; margin-right: 2px; color:  #336699; text-decoration: none; font-weight: normal;";
			elfl.style.cssText =  "font-size: 133%; color:  #2368a3; text-decoration: underline; font-weight: bold; ";
			break;

		case s:
			elfn.style.cssText =  "margin-left: 4px; margin-right: 2px; color:  #2368a3; text-decoration: underline;  font-weight: bold;";
			elfl.style.cssText =  "font-size: 133%; color:  #336699; text-decoration: none;  font-weight: normal;";
			break;

		default:
			elfn.style.cssText =  "margin-left: 4px; margin-right: 2px; color:  #2368a3; text-decoration: underline;  font-weight: bold;";
			elfl.style.cssText =  "font-size: 133%; color:  #336699; text-decoration: none;  font-weight: normal;";
			break;
		}

 } // setFont

/* usage, z.B.:
<form method="GET">
 <input type="button"  value="-" name="b1" onClick="setFont(2)">
 <input type="button"  value="+" name="b2" onClick="setFont(1)">
 <input type="button"  value="0" name="b3" onClick="setFont(0)">
</form>
*/

  function Go(x) {
    if (x != "") {
      window.location.href = x;
      document.forms[0].reset();
      document.forms[0].elements[0].blur();
    }
  }