var x = getElement('ORFbanner');

var x0 = document.getElementsByTagName('td')[1];
x0.appendChild(x);
x.style.position="relative";
x.style.left="0px";
x.style.display = 'block';
x.style.padding="0px";
x.style.margin="0px 0px 0px 0px";
x.style.backgroundColor = "#FFFFFF"; 
x.style.width = "100%";
x.style.textAlign = 'left';

var x = getElement('SNpoleca');
var x0 = document.getElementsByTagName('span')[1];
x0.appendChild(x);
x.style.position="relative";
x.style.left="0px";
x.style.display = 'block';
x.style.padding="0px";
x.style.margin="0px 0px 0px 0px";
x.style.backgroundColor = "#FFFFa0"; 
//x.style.width = "100%";
x.style.textAlign = 'left';

var s = getElement("stare");
if(s) {
  s.style.display = "none";
  s.style.textDecoration = "none";
}

var t = getElement("toggleToStare");
setToggle(t, 1);
var f = getElement("toggleFromStare");
setToggle(f, 0);

for(i=0; i< document.forms.length; i++) {
    form = document.forms[i];
    if(form.name.substr(0,8)=="jumpbox_") {
        var sel = form.elements[0];
        sel.title= sel.options[sel.selectedIndex].value;
        sel.options[sel.selectedIndex].title = sel.title;
    }
 }


function copyToClipboard(s) {
	if( window.clipboardData && clipboardData.setData ) {
		clipboardData.setData("Text", s);
	}
	else {
		// We must to sign the code to enable this or allow the action in about:config by changing
		user_pref("signed.applets.codebase_principal_support", true);
		netscape.security.PrivilegeManager.enablePrivilege('UniversalXPConnect');
		var clip = Components.classes['@mozilla.org/widget/clipboard;[[[[1]]]]'].createInstance(Components.interfaces.nsIClipboard);
		if (!clip) return;
		// create a transferable
		var trans = Components.classes['@mozilla.org/widget/transferable;[[[[1]]]]'].createInstance(Components.interfaces.nsITransferable);
		if (!trans) return;
		// specify the data we wish to handle. Plaintext in this case.
		trans.addDataFlavor('text/unicode');
		// To get the data from the transferable we need two new objects
		var str = new Object();
		var len = new Object();
		var str = Components.classes["@mozilla.org/supports-string;[[[[1]]]]"].createInstance(Components.interfaces.nsISupportsString);
		var copytext = s; //meintext;
		str.data = copytext;
		trans.setTransferData("text/unicode", str, copytext.length*[[[[2]]]]);
		var clipid = Components.interfaces.nsIClipboard;
		if (!clip) return false;
		clip.setData(trans, null, clipid.kGlobalClipboard);	   
	}
}

function setToggle(x, seen) {
  if(!x) return;
  if(seen) x.style.display = "block";
  else x.style.display = "none";
  x.style.margin = "0px";
  x.style.textAlign = "left";
}


function showStare(show) 
{
  var x = getElement("stare");
  var t = getElement("toggleToStare");
  var f = getElement("toggleFromStare");
  if(x && t && f) {
    if(show==1) {
      x.style.display = "block";
      t.style.display = "none";
      f.style.display = "block";
   }
   else {
      x.style.display = "none";
      t.style.display = "block";
      f.style.display = "none";
  }
    
  }
}

function getAnchorByName(name) {
    var fArray = document.getElementsByTagName('a');
    for(i=0; i<fArray.length; i++) {
         if(fArray[i].name == name) {
            return(fArray[i]);
        }
    }
     return(null);
}

function getSelectByName(name) {
    var fArray = document.getElementsByTagName('select');
    for(i=0; i<fArray.length; i++) {
         if(fArray[i].name == name) {
            return(fArray[i]);
        }
    }
     return(null);
}

function getElement(id)
{
  if(document.getElementById)
    return document.getElementById(id);
  else if(document.all)
    return document.all[id];
  else
    return null;
}