// Hack for flicker on IE6
try {
  document.execCommand('BackgroundImageCache', false, true);
} catch(e) {}

function submitForm(theForm,buttonValue)
{
	theForm.button.value = buttonValue;
	theForm.submit();
}

function submitForm(buttonValue)
{
	document.forms[0].button.value = buttonValue;
	document.forms[0].submit();
}

function redirect( location ) 
{
	location.href = location;
}

function jumpToURL(list)
{
	location.href = list.options[list.selectedIndex].value;
}