/* funzione che stampa un messaggio nella statusbar (il messaggio da stampare è */
/* passato per parametro: text */
function PrintInStatus(text) { window.status = text }

/* funzione che avvisa l'utente di qualcosa (il messaggio è passato */
/* per parametro(text). non ci sono contrasti con la var. text di sopra xche sono */
/* variabili locali, quindi visibili solo dal metodo che le dichiara */
function AlertMessage(text) {  alert(text) }

/* funzione che fa lampeggiare il testo nel div "par" passato per parametro ogni "speed" di secondi */
function BlinkPar(par, speed) {
  if(CheckBrowser() == 'explorer')
    document.all[par].style.visibility = document.all[par].style.visibility  ? "" :"hidden"
  setTimeout("BlinkPar('" + par + "', " + speed + ")", speed)
}

/* funzione che restituisce una stringa che identifica il nome di browser utilizzato */
function CheckBrowser() {
  var strUserAg = navigator.userAgent.toLowerCase();
  var strAppN = navigator.appName.toLowerCase();
  if(strUserAg.indexOf('opera') != -1) return 'opera';
  else if(strUserAg.indexOf('gecko') != -1) return 'mozilla';
  else if(strUserAg.indexOf('msie') != -1) return 'explorer';
  else if(strUserAg.indexOf('netscape') != -1) return 'netscape';
  else if(strUserAg.indexOf('mozilla') != -1 && strAppN == 'netscape') 
	return 'netscape';
  else return 'unknown';
}

/* funzione che permette di aggiungere il sito ai Preferiti */
function AddBookmark() {
 url = location.href
 title= "Eternal Site - a tribute to Jeff Buckley"
 if (CheckBrowser() != 'explorer') return;
 window.external.AddFavorite(url,title)
 return;
}

/* funzione che permette di settare il sito come homepage predefinita */
function SetHomePage() {
 if (CheckBrowser() != 'explorer') return;
 document.body.style.behavior = 'url(#default#homepage)'
 document.body.setHomePage("http://digilander.libero.it/eternalsite")
 return;
}

/* funzione che fa scorrere la pagina fino al punto di coordinate (x,y) */
function scroll(x,y) {
 scrollTo(x,y)
}

/* funzione che aggiorna la pagina corrente e se si è in un anchor, carica la pagina senza "#nome" */
function reload() {
  foundpos = location.href.indexOf('#')
  if(foundpos != -1) 
    location.href = location.href.substring(0,foundpos)
  else
    location.reload()
}

/* funzione che controlla se l'utente si trova in (www.)eternalsite.too.it e se sì, linka al sito originale */

function redirect() {
  var path = location.href
  if (path == "http://eternalsite.too.it" || 
      path == "http://www.eternalsite.too.it")
	location.href = "http://digilander.libero.it/eternalsite"
}

window.onload = redirect