function init(){
     Event.observe('greeting-name', 'onclick', switch_artwork, false);
}

function switch_artwork(which_path) {
	var artwork_id = which_path.getAttribute("id");
	var source = which_path.getAttribute("href");
	var large_image = document.getElementById("large_image");
	large_image.setAttribute("src",source);
	var image_id = which_path.firstChild.id;
	var artwork_name = document.getElementById(image_id).getAttribute("title");
	var title = document.getElementById("artwork_name");
	title.firstChild.data = artwork_name;
	var url = 'getText.php';
  var pars = 'param='+escape(artwork_id);
  var target = 'text';
  var myAjax = new Ajax.Updater(target, url, {method: 'get', parameters: pars});
}