function setValues(key) {
  var value = document.getElementById(key+"_choice").value
  ajaxGetCall( "/phpscript/setSessionKey.php", 
               "key=" + key + "&" 
               + "value=" + urlencode(value),
               function() { 
                     location.reload(true) 
               }
              )
}
function resetValues(key) {
  ajaxGetCall( "/phpscript/setSessionKey.php",
               "key=" + key,
               function() { location.reload(true) }
              )
}
var key
function onOK() {
  document.getElementById(key+"_ok").style.visibility = "visible"
  setTimeout("offOK()", 2000)
}
function offOK() {
  document.getElementById(key+"_ok").style.visibility = "hidden"
}