function toggle(x, origColor) 
{
    var newColor = 'red';
    if (x.style) {
        x.style.backgroundColor = (newColor == x.style.backgroundColor) ? origColor : newColor;
    }
}

function redirect(url)
{
	window.location = url;	
}