function $(id) {
  var element = document.getElementById(id);
  return element;
}

function $F(id) {
  var element = document.getElementById(id).value;
  return element;
	
}
