
(function()
{
	// Initialisation -- have init() run once page has finished loading
	if( window.addEventListener)
		window.addEventListener('load', init, false);
	else if( window.attachEvent)
		window.attachEvent('onload', init);

	// Install event handler
	function init()
	{
		if( selector = document.getElementById('quickjump') )
			selector.onchange = jump;
	}

	// Event handler
	function jump()
	{
		destination = this.options[this.selectedIndex].value;

		if( destination )
			location.href = destination;
		else
			alert('No destination URL found.  Check option value attribute.');
	}

})();
