function make_into_argument_list (array) {
  var array_length = array.length
  var str = ""
  for(var i=0; len=array_length, i < len; i++) {
    if (i == len - 1)
      str = str + "\"" + array[i] + "\""
    else 
      str = str + "\"" + array[i] + "\", "
  }
  return str
}

function quote_function (function_name, argument_list_as_array) {
  return function_name + "(" +  make_into_argument_list(argument_list_as_array) + ")"
}

function enable_element (element_str) {
  if (element = document.getElementById(element_str)) {
    element.style.display = "inline"
  }
}

function disable_element (element_str) {
  if (element = document.getElementById(element_str)) {
    element.style.display = "none"
  }
}