<!--
function bigPic(image)
{
document.getElementById('big').src= image;
}
//-->