function picChange(res,subtext,divid){
  var a=document.getElementById('bigPicDiv');
  a.innerHTML='<img src="'+res+'" alt="'+subtext+'" title="'+subtext+'"><div><span>'+subtext+'</span></div>';
  var b=1;
  var c=document.getElementById('smallPic'+b);
  while(c){
    c.style.borderColor='#dff9ed';
    b++;
    c=document.getElementById('smallPic'+b);
  }
  c=document.getElementById('smallPic'+divid);
  c.style.borderColor='#70a8ca';
}