function switch_picture(pic) {
  $('big_picture').src = pic;
}