function showPic(whichpic) {
  if (document.getElementById) {
    document.getElementById('placeholder').src = whichpic.href;
	document.getElementById('collegamento').href = whichpic.title;
    return false;
  } else {
  return true;
  }
}