window.onload = function() 
{
	var x=0;
	for (var i=0; i<9; i++) {
		if ( document.getElementById("pic" + i)) {
			x++;
		} else {
			break;
		}
	}
 	if ( x >2) {
		for (var i=0; i<x; i++) {
			document.getElementById("pic" + i).onmouseover = function() {hover(this)};
		}
	}
}

function hover(f,a) {
	var pos = f.src.indexOf("_");
	document.getElementById("big").src= f.src.substr(0,pos)+"_big.jpg";
	document.getElementById("big").alt= f.alt;
	document.getElementById("big").title= f.title;
}