// JavaScript Document


if (document.images) {
   
     button1 = new Image
     button2 = new Image
	 
	 button3 = new Image
     button4 = new Image
	 
	 button5 = new Image
     button6 = new Image
	 
	 button7 = new Image
     button8 = new Image
	 
	 button9 = new Image
     button10 = new Image
	 
	 button11 = new Image
     button12 = new Image
	 
	 
	 	 
     button1.src = 'images/cottage.jpg'
     button2.src = 'images/cottage-hvr.jpg'
	 
	 button3.src = 'images/gallery.jpg'
     button4.src = 'images/gallery-hvr.jpg'
	 
	 button5.src = 'images/movie.jpg'
     button6.src = 'images/movie-hvr.jpg'
	 
	 button7.src = 'images/rates.jpg'
     button8.src = 'images/rates-hvr.jpg'
	 
	 button9.src = 'images/map.jpg'
     button10.src = 'images/map-hvr.jpg'
	 
	 button11.src = 'images/bookings.jpg'
     button12.src = 'images/bookings-hvr.jpg'
	 
}

var delayb4scroll=1000
var marqueespeed=1
var pauseit=1

var copyspeed=marqueespeed
var pausespeed=(pauseit==0)? copyspeed: 0
var actualheight=''

function scrollmarquee(){
if (parseInt(cross_marquee.style.top)>(actualheight*(-1)+8))
cross_marquee.style.top=parseInt(cross_marquee.style.top)-copyspeed+"px"
else
cross_marquee.style.top=parseInt(marqueeheight)+8+"px"
}

function initializemarquee(){
cross_marquee=document.getElementById("vmarquee")
cross_marquee.style.top=0
marqueeheight=document.getElementById("marqueecontainer").offsetHeight
actualheight=cross_marquee.offsetHeight
if (window.opera || navigator.userAgent.indexOf("Netscape/7")!=-1)
{ 
cross_marquee.style.height=marqueeheight+"px"
cross_marquee.style.overflow="scroll"
return
}
setTimeout('lefttime=setInterval("scrollmarquee()",50)', delayb4scroll)
}

if (window.addEventListener)
window.addEventListener("load", initializemarquee, false)
else if (window.attachEvent)
window.attachEvent("onload", initializemarquee)
else if (document.getElementById)
window.onload=initializemarquee