/* Menü für IE */
  function showmenu(element){
           element.className += "hover";
   }
 function hidemenu(element){
           element.className = element.className = "";
     }


    function taste (t) {
    			if (!t)
     			t = window.event;
      			if ((t.type && t.type == "contextmenu") || 
        			(t.button && t.button == 2) || (t.which && t.which == 3)) {
        		if (window.opera)
          			window.alert("Speichern nicht erlaubt.");
          		return false;
      			}
    		}
    if (document.layers)
      			document.captureEvents(Event.MOUSEDOWN);
      			document.onmousedown = taste;
      			document.oncontextmenu = taste;

  function onKeyDown() {
  // current pressed key
  var pressedKey = String.fromCharCode(event.keyCode).toLowerCase();

  if (event.ctrlKey && (pressedKey == "c" || 
                        pressedKey == "v")) {
    // disable key press porcessing
    event.returnValue = false;
  }

} // onKeyDown