var hosty = "http://" + location.host; //liest den Domainamen raus
document.write ('<script type="text/javascript" src="/_data/scripts/rmenu/ruthsarian_utilities.js"></script>'); 
document.write ('<script type="text/javascript" src="/_data/js/so_ticker-mod.js"></script>');

function tabheight() 
  {var browser = new browser_detect();if (browser.isIE) {
  var tabheightx = document.getElementById( 'middlepos' ).offsetHeight; 
  var newtabheight = tabheightx/6; newtabheight=Math.round(newtabheight)+'px'; 
  document.getElementById( 'ieheighter' ).style.height=newtabheight;
  document.getElementById( 'ieheighter' ).style.width='1px';
  } }