// ==UserScript==
// @name hilton.co.uk - fix broken drop-downs
// @author Hallvord 
// @version 1.0
// @description  Fixing various errors in hilton.co.uk's script.
// @ujs:category site: fixes
// @ujs:published 2005-07-18 15:16
// @ujs:modified 2005-09-19 09:19
// @ujs:documentation http://userjs.org/scripts/site/fixes/hilton-uk-fixes 
// @ujs:download http://userjs.org/scripts/download/site/fixes/hilton-uk-fixes.js 
//@include hilton.co.uk
// ==/UserScript==


/* 
 * = 
 */

if(  location.hostname.match(/(^|\.)hilton\.co\.uk$/i)  ){
	opera.defineMagicFunction( 'getValue', function (oRealFunction,oThis,initString) { 
		var parseRegExp = new RegExp("[/,,/{,/,/'}]", "g"); 
		var parsedString =  initString.split(parseRegExp); 
		return parsedString[ 5 ];} 
	);
	opera.defineMagicFunction('placeFooterDiv', function(){ 
		try{var f = document.getElementById("footerDiv");
		f.style.position = "fixed";f.style.left=0;f.style.bottom=0;
		hpsm5Links.style.paddingBottom = (f.offsetHeight*2)+'px';
		f.removeChild(spacer28);		
		}catch(e){}} );
}