function redir(u) {
	window.location = u;
}