//Change header image by radomized numbers
var n=parseInt(Math.random()*3);
if(n==0){//判断产生的随机数，然后更换即可。
document.getElementById("rightImgHomeEn").style.backgroundImage="url('images/home_mainimg_01.jpg')";
}
else if (n==1){
document.getElementById("rightImgHomeEn").style.backgroundImage="url('images/home_mainimg_02.jpg')";
}
else if (n==2){
document.getElementById("rightImgHomeEn").style.backgroundImage="url('images/home_mainimg_03.jpg')";
};