function openWindow (url, id, option) {
  if (option == 0) {
    window.open (url, id, "");
  } else {
    window.open (url, id, "width=800,height=600,location=no,status=no,resizable,scrollbars");
  }
}



function focusElement (name) {
  document.getElementsByName (name)[0].style.background = "#ffc";
  document.cookie = "focus=" + name + ";";
}



function blurElement (name) {
  document.getElementsByName (name)[0].style.background = "#fff";
}