// JavaScript Document
function redir_js(url) {
	window.location.replace(url);
}