function gebid(id) {
  return document.getElementById(id);
}
function changeDis(element,value){
	document.getElementById(element).style.display = value;
}


function showMagnify(element){
	changeDis(element,'');
}
function hideMagnify(element){
	changeDis(element,'none');
}
function hoverMagnify(element){
	gebid(element).style.top = 0;
}
function nonehoverMagnify(element){
	gebid(element).style.top = 0;
}
function showZoomImage(element_zoomed,element_mag){
	changeDis(element_zoomed,'');
	changeDis(element_mag,'none');
}
function hideZoomImage(element){
	changeDis(element,'none');
}