function objGet(o) {
	if (typeof o != 'string') return o;
	else return document.getElementById(o);
	}

// function to reload the historie of bids
function showHistorie(path) {
  window.location.href = path;
}

// function to reload the historie of bids
function showSearch(path) {
  window.location.href = path;
}