// scripts for slides

SLIDES = new slideshow("SLIDES");
SLIDES.add_slide(s = new slide('images/header_hotel.jpg'));
s.filter = 'progid:DXImageTransform.Microsoft.Fade()';
SLIDES.add_slide(s = new slide('images/header_room1.jpg'));
s.filter = 'progid:DXImageTransform.Microsoft.Fade()';
SLIDES.add_slide(s = new slide('images/header_restaurant.jpg'));
s.filter = 'progid:DXImageTransform.Microsoft.Fade()';
SLIDES.add_slide(s = new slide('images/header_rocks.jpg'));
s.filter = 'progid:DXImageTransform.Microsoft.Fade()';
SLIDES.add_slide(s = new slide('images/header_hotel.jpg'));
s.filter = 'progid:DXImageTransform.Microsoft.Fade()';
SLIDES.add_slide(s = new slide('images/header_room2.jpg'));
s.filter = 'progid:DXImageTransform.Microsoft.Fade()';
SLIDES.add_slide(s = new slide('images/header_pool.jpg'));
s.filter = 'progid:DXImageTransform.Microsoft.Fade()';
SLIDES.add_slide(s = new slide('images/header_rocks.jpg'));
s.filter = 'progid:DXImageTransform.Microsoft.Fade()';

document.onLoad=SLIDES.play();