// title: Bad Gateway
// version: 1.0
// created: 2006-01-09
// license: [url=GPL license]http://www.gnu.org/copyleft/gpl.html[/url]
//
// --------------------------------------------------------------------

//

// This is a Greasemonkey user script.

//

// To install, you need Greasemonkey: http://greasemonkey.mozdev.org/

//

// To easily customize, replace the following line to match your page title

var titlesearch="502 Bad Gateway"

//
// --------------------------------------------------------------------

//
//
//

// ==UserScript==

// @name          Bad Gateway

// @namespace     http://www.bobpaul.org/userScripts/

// @description   Some corporate firewalls return errors that Firefox doesn't understand. This script replaces the "502 Bad Gateway" error my company returns with a google "I'm feeling lucky" search like one would expect from Firefox.

// @include       *
// @exclude       

// ==/UserScript==





(

   function () {

	var thetitle=document.title;
	document.write(thetitle)
	
   )();