/*   [JS - this func is not used anywhere]
window.addEvent('domready', function() 
{
	$('booking_form').addEvent('mouseenter', function() {
		var children = this.getChildren();
		$(children[0]).src = '/images/header/click_icon2.gif';
	});
	$('booking_form').addEvent('mouseleave', function() {
		var children = this.getChildren();
		$(children[0]).src = '/images/header/click_icon1.gif';
	});
});
  */