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