
<!-- Begin
// Funzione per ottenere le dimensioni della finestra/area di visualizzazione [spostare in libreria comune?]
// anche per una puttanata simile bisogna correre dietro alle incompatibilità dei browser °°b
// Potrebbe dar problemi se eseguita prima del rendering di <body> /* Cioè esattamente il nostro caso d°° */
function getWinSize() {
  var myWidth = 0, myHeight = 0;
  if( typeof( window.innerWidth ) == 'number' ) {
    //Non-IE
    myWidth = window.innerWidth;
    myHeight = window.innerHeight;
  } else if( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {
    //IE 6+ in 'standards compliant mode'
    myWidth = document.documentElement.clientWidth;
    myHeight = document.documentElement.clientHeight;
  } else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {
    //IE 4 compatible
    myWidth = document.body.clientWidth;
    myHeight = document.body.clientHeight;
  }
  return [myWidth, myHeight];
}

// Set up the image files to be used.
dir = "images/test_banner/"

// Lista di dimensioni minime della pagina; nelle cartelle omonime all'interno della directory
// dei banner vi sarà una versione dei banner dalle dimensioni appropriate
sizes = [1000, 1100]
// Se la lista di dimensioni continene elementi, cerca la dimensione maggiore tra quelle minori della larghezza della finestra
if(sizes.length >= 1) {
	var width = getWinSize()[0]
	for(size = sizes.pop(); size >= width && sizes.length > 0; size = sizes.pop());
// Aggiunge la corrispondente cartella al percorso del file del banner
	dir = dir + size + '/'
}
// Altrimenti selezionerà i banner dalla cartella principale della directory

ext = ".jpg"
nbanner = 0
var whichImage = Math.round(Math.random()*(nbanner));
/*if (whichImage > 150 && whichImage < 158) {
	ext = ".gif";
}
if (whichImage == 163) {
	ext = ".png"
}*/

preBuffer = dir + whichImage + ext;

function showImage(){
document.write('<img src="'+preBuffer+'" />');
}

//  End -->

