// Reloads document 
function selectLocation(url) {
  document.location = url;
}