function element(id){
	return document.getElementById(id);
}

function value(id){
	return element(id).value;
}

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

function replaceAll(str, toReplace, replacement){
	return str.split(toReplace).join(replacement);
}