test4redirect(5);  /* 0=root, 1=develop 2=test, 3=other non-vr synonym, 5=vr synonym */
function test4redirect(dir) { 
//alert (dir);
if (dir == 5) {}
else
   {
    if (( window.location.hostname.indexOf("venice-florida-vacation-rentals.com") !=-1 ) &&
        ( window.location.pathname.indexOf ("/vr") == -1 ) )
					{ window.location="http://www.venice-florida-vacation-rentals.com/vr/index.html"; }
   if (( window.location.hostname.indexOf("venicevacationrental.com") !=-1 ) &&
       ( window.location.pathname.indexOf ("/vr") == -1 ) )
					{ window.location="http://www.venicevacationrental.com/vr/index.html"; }
   }
}
  var msg='';
  var browsername=navigator.appName;
	      if (browsername.indexOf("Netscape")!=-1)			{browsername="NS" }
          else {if (browsername.indexOf("Microsoft")!=-1)   {browsername="MSIE" }
                else										{browsername="other"}};  
function displaymessage(smsg) {
	window.defaultStatus= msg;
	return true;
}
function displaynothing () {
	window.defaultStatus= "";
	return true;
}

// HEADING ROLL-OVER 
if (document.images) {
   var pic102_out     = new Image();  pic102_out.src   = "/img/fromBeach.jpg"; //"./img/postcard.jpg";  
   var pic102_over    = new Image();  pic102_over.src   = "/img/bcGulfScape.jpg";  
   var pic102_dbl     = new Image();  pic102_dbl.src   = "/img/bcSunsetInBlue.jpg";  
   //var pic102_click   = new Image();  pic102_click.src   = "../img/bcN.jpg";  
   //var pic102_mup     = new Image();  pic102_mup.src   = "../img/bcS.jpg";  
}
function pic_out(x) {
if (document.images) { if  (x==102) document.image102.src = pic102_out.src; 
}
return true;
}

function pic_over(x) { 
//alert(x);
if (document.images) { if  (x==102) document.image102.src = pic102_over.src; 
}
return true;
}
function pic_dbl(x) {
if (document.images) { if  (x==102) document.image102.src = pic102_dbl.src; 
}
return true;
}
//function pic_mup(x) {
//if (document.images) { if  (x==102) document.image102.src = pic102_uup.src; 
//}
//return true;
//}
//function pic_mdown(x) {
//if (document.images) { if  (x==102) document.image102.src = pic102_mdown.src; 
//}
//return true;
//}