function disp_random() {
  var r = Math.floor(Math.random()*4);
  document.getElementById('testimonial_'+r).style.display='';
}