<!--

function swap_pic(img_name,img_src) 
	{
	document[img_name].src=img_src;
	}

-->