// JavaScript Document
function showPic (whichpic) {
if (document.getElementById) {
document.getElementById('placeholder').src = whichpic.href;
  return false;
 } else {
  return true;
 }
}
function highlightLinks(obj) {
   var linkList = document.getElementById("Thumbs").getElementsByTagName("a");
   for (i = 0; i < linkList.length; i++) {
	  linkList[i].className = "";
   }
   obj.className = "hot";
}