function getDocType(){
  var docType='';
  if (document.Panoramica) {
    docType = document.Panoramica;
  } else if (document.applets) {
    docType = document.applets['Panoramica'];
  } else if (document.getElementById){
    docType = document.getElementById('Panoramica');
  }
  return docType;
}


function ImpostaVista( pan, tilt, hfov )
{
//  document.Panoramica.gotoView( pan, tilt, hfov );
  var curPan = getDocType().pan();
  var nFrames = (curPan - pan) / 6;
  if( nFrames < 0 ) nFrames = - nFrames;
  if( nFrames < 2 ) 
    getDocType().gotoView( pan, tilt, hfov );
  else
    getDocType().moveTo( pan, tilt, hfov, nFrames );
  getDocType().showHS();
}


function ApriPano( pageName ) {
  var path;

  if( getCookieDimViewer() == "G" )
    path = "Grandi/";
  else
    path = "Piccole/";
  path += pageName;
  window.location.href = path;
}


function open_popup(page, name) 
{
 var wh;
 wh = window.open(page, name, 'scrollbars=yes,width=600,height=500');
 wh.close();
 wh = window.open(page, name, 'scrollbars=yes,width=600,height=500');
 return false; 
} 



function decodeSearchString() {
   var nameValue = new Array();
   var searchStr = unescape(location.search.substring(1));
   if (searchStr) {
       var formElement = searchStr.split("&");
       var tmpArray = new Array();
       for (k = 0; k < formElement.length; k++) {
            tmpArray = formElement[k].split("=");
            nameValue[tmpArray[0]] = tmpArray[1];
       }
   }
   return nameValue
}


// memorizza la dimensione del viewer in un cookie. la dimensione è nel parametro dim
//  "G" = grande
//  "P" = piccolo
function setCookieDimViewer( dim ) {
  var expDays = 30;	// durata del cookie
  var exp = new Date();
  exp.setTime( exp.getTime() + (expDays*24*60*60*1000) );
  setCookie( "dimensioniViewer", dim, exp, "/" );
}



// restituisce il valore corrente del cookie legato alle dimensioni del viewer
function getCookieDimViewer() {
  var cook = getCookie( "dimensioniViewer" );

  if( cook == null ) cook = "P";
  return cook;
}


   // name - name of the cookie
   // value - value of the cookie
   // [expires] - expiration date of the cookie
   // (defaults to end of current session)
   // [path] - path for which the cookie is valid
   // (defaults to path of calling document)
   // [domain] - domain for which the cookie is valid
   // (defaults to domain of calling document)
   // [secure] - Boolean value indicating if
   // the cookie transmission requires a secure transmission
   // * an argument defaults when it is assigned null as a placeholder
   // * a null placeholder is not required for trailing omitted arguments
   function setCookie(name, value, expires, path, domain, secure) {
      var curCookie = name + "=" + escape(value) +
         ((expires) ? "; expires=" + expires.toGMTString() : "") +
         ((path) ? "; path=" + path : "") +
         ((domain) ? "; domain=" + domain : "") +
         ((secure) ? "; secure" : "")
      if ((name + "=" + escape(value)).length <= 4000)
         document.cookie = curCookie
      else
         if (confirm("Cookie exceeds 4KB and will be cut!"))
            document.cookie = curCookie
   }

   // name - name of the cookie
   // * return string containing value
   // of specified cookie or null if cookie
   // does not exist
   function getCookie(name) {
      var prefix = name + "="
      var cookieStartIndex = document.cookie.indexOf(prefix)
      if (cookieStartIndex == -1)
         return null
      var cookieEndIndex = document.cookie.indexOf(";", cookieStartIndex +
         prefix.length)
      if (cookieEndIndex == -1)
         cookieEndIndex = document.cookie.length
      return unescape(document.cookie.substring(cookieStartIndex +
         prefix.length,
   cookieEndIndex))
   }

   // name - name of the cookie
   // [path] - path of the cookie
   // (must be same as path used to create cookie)
   // [domain] - domain of the cookie
   // (must be same as domain used to create cookie)
   // * path and domain default if assigned
   // null or omitted if no explicit argument proceeds
   function deleteCookie(name, path, domain) {
      if (getCookie(name)) {
         document.cookie = name + "=" +
         ((path) ? "; path=" + path : "") +
         ((domain) ? "; domain=" + domain : "") +
         "; expires=Thu, 01-Jan-70 00:00:01 GMT"
      }
   }