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

function addArgument(arg) {
	window.location.src = window.location.src + arg;
}