/* RIDIMENSIONAMENTO Internet Explorer */
if (!window.larghezza && document.body && document.body.offsetWidth) {
  window.onresize = aggiornamento_dimensioni;
  larghezza = larghezza_finestra();
  altezza = altezza_finestra();
}