// JavaScript Document
	
	function changeBigPic(filename) 
	{
		document.images['BigPic'].src = filename;
	}