// Change the specified image 
// 
// cImg : name of te image to change (html tag "name")
// Filename : name of the picture file to load (gif)
//////////////////////////////////////////////////////////////
function changeImg(cImg, Filename)
{
	document.images[cImg].src = Filename
}