/* 文件名: ChangePic.js
 * ---------------------
 * 解决鼠标移动到图片后变换图片
 * 离开图片后变回原来的图片
 * 移到图片函数：MouseOverPic
 * 离开图片函数：MouseOutPic
 */

/* 显示默认图片
 * 用循环显示
 * 图片总数：CountPic
 */
 function ShowPic(){
	CountPic=document.getElementById("TigerConnie").getElementsByTagName("img").length;
	for(i=0;i<CountPic;i++){
		document.getElementById("TigerConnie").getElementsByTagName("img")[i].src=
		document.getElementById("TigerConnie").getElementsByTagName("li")[i].ImgPre;
	}
 }
 
 /* Pre -Condition:没有移动到图片
  * Post-Condition:移动到图片改变图片
  */
 function MouseOverPic(i){
	j=i-1;
	document.getElementById("TigerConnie").getElementsByTagName("img")[j].src=
	document.getElementById("TigerConnie").getElementsByTagName("li")[j].ImgPost;
 }

 /* Pre -Condition:已经移动到图片，图片已经改变
  * Post-Condition:离开图片，变回原来的图片
  */
  function MouseOutPic(i){
	j=i-1;
	document.getElementById("TigerConnie").getElementsByTagName("img")[j].src=
	document.getElementById("TigerConnie").getElementsByTagName("li")[j].ImgPre	;
 }
	 
	// function document.onmouseover()
//{

//}