/**
 *  changeLinktext
 */
function changeLinktext(script_text)
{
  var select_value = document.getElementsByName('_ie_javascript_field')[0];
  if(select_value == null)
    window.alert("_ie_javascript_field not found");

  var textfield = document.getElementsByName('_ie_linktext_field')[0];
  if(textfield == null)
    window.alert("_ie_linktext_field not found");

  if (select_value.value == 0)
  {
   textfield.style.visibility = 'hidden';
  }
  else if (select_value.value == 1)
  {
   textfield.style.visibility = 'visible';
   if (script_text == 0)
     textfield.value = 'Hier klicken, um diese Seite zur Standard-Startseite zu machen!';
  }
  else if (select_value.value == 2)
  {
   textfield.style.visibility = 'visible';
   if (script_text == 0)
     textfield.value = 'Hier klicken, um diese Seite zu drucken!';
  }
  else if (select_value.value == 3)
  {
   textfield.style.visibility = 'visible';
   if (script_text == 0)
     textfield.value = 'Hier klicken, um diese Seite zu den Favoriten hinzuzufügen!';
  }
}


function change_clock()
{
  var time = new Date();

  var time_field = document.getElementById('_ie_clock_field');
  if(time_field == null)
    window.alert("_ie_clock_field not found");

  /* Sekunden, Minuten und Stunden heruasziehen.... */
  seconds = time.getSeconds();
  minutes = time.getMinutes();
  hours = time.getHours();

  var new_time = ((hours < 10) ? "0" + hours : hours) + ':' + ((minutes < 10) ? "0" + minutes : minutes) + ':' + ((seconds < 10) ? "0" + seconds : seconds);

  /* Uhrzeit in Zeichenkette umwandeln und ins Textfeld schreiben : */
  time_field.innerHTML = new_time;

  /* Timeout auf 1000 Millisekunden (1 Sekunde) setzen : */
  window.setTimeout("change_clock();",1000);
}