<!--          

// Crea un messaggio di popup con testo msg e un bottone di Ok
function AsMessageBox( msg ) { //v1.0
  alert(msg);
}

// @return l'URL del frame/iframe relativo alla finestra padre
function AsGetParentFrameLocation( sFrameName ){
    return parent[sFrameName].document.location.href;
}

// wrapper di rawurlencode in php
// Serve per passare alla GET di una pagina un URL con caratteri
// speciali come &, /, spazi che verrebbero scambiati erroneamente
function AsRawurlencode( url ){
    return encodeURIComponent( url );
}

// Ricarica la pagina corrente con l'URL x
function AsLoadURL( x ){
    window.document.location.href = x;
}

// Ricarica la pagina principale con l'URL x
function AsParentLoadURL( x ){
    parent.window.document.location.href = x;
}

// Scrivo del testo nella finestra corrente
function AsPrint( x ){
    window.document.write( x );
}

// Scrivo del testo nella finestra corrente con "a capo"
function AsPrintln( x ){
    window.document.write( x+"<br/>" );
}

// Apre una finestra popup contenente l'URL sURL, di nome sWindowName,
// ad una posizione e una dimensione specificata
function AsPopup( sURL, sWindowName, iWidth, iHeight, iTop, iLeft ){
      window.open(sURL,sWindowName,"width=" + iWidth + ",height=" + iHeight + ",top=" + iTop + ",left=" + iLeft);
}

// Apre una finestra popup centrata allo schermo
function AsPopupCentered( sURL, sWindowName, iWidth, iHeight ) {
   var l = Math.floor((screen.width-iWidth)/2);
   var t = Math.floor((screen.height-iHeight)/2);
   AsPopup(sURL,sWindowName,iWidth,iHeight,t,l);
}

// Diminuisce o aumenta la dimensione di un'immagine in modo tale che sia
// grande al max iSizeX x iSizeY e mantiene l'aspect ratio
function changeSize(imgSrc, iSizeX, iSizeY)
{
    var newImg = new Image();
    newImg.src = imgSrc.src;
    var height = newImg.height;
    var width = newImg.width;
    // Calcolo l'aspect ratio
    var ar = imgSrc.width / imgSrc.height;
    // Se w>h cambio width
    if (imgSrc.width>=imgSrc.height){
        imgSrc.width = iSizeX;
        imgSrc.height = iSizeX / ar;
    }
    if (imgSrc.height>imgSrc.width){
        imgSrc.height = iSizeY;
        imgSrc.width = iSizeY * ar;
    }
}

// Diminuisce la dimensione di un'immagine in modo tale che sia
// grande al max iSizeX x iSizeY e mantiene l'aspect ratio
function maxImageSize(imgSrc, iSizeX, iSizeY) {
    if ((imgSrc.width<iSizeX) && (imgSrc.height<iSizeY)){
    } else {
        changeSize(imgSrc, iSizeX, iSizeY);
    }
}
-->