$(document).ready(function() {
  var randomImages = ['img_portale_05','img_portale_01','img_portale_02','img_portale_03','img_portale_04'];
  var rndNum = Math.floor(Math.random() * randomImages.length);
  $('#img_portale').addClass(randomImages[rndNum]);
});