function redirect (url) {

	location.href = url;

	return false;

}

function confirm_redirect (url, message) {

	if (confirm (message))
		redirect (url);

	return false;

}

function highlight (element) {

	Element.addClassName (element, 'highlight');

}

function unhighlight (element) {

	Element.removeClassName (element, 'highlight');

}

function createElement (type, name, checked) {

	var element = null;

	try {
		element = document.createElement('<input type="'+type+'" name="'+name+'"'+(checked ? ' checked="checked"' : '')+'>');
	} catch (e) {}

	if (!element || element.nodeName != 'INPUT') {
		element = document.createElement('input');
		element.type = type;
		element.name = name;
		element.checked = checked;
	}

	return element;

}