function change_thumb(Type,Num,Image) {
  if (!document.images) {}
  else document ['thumb'+Num].src = '/photos/' + Type + '/thumb/' + Image;
}