function redirect($url=null){
	@header('location: '.$url);
	exit('<script>document.location.href="'.$url.'";</script>');
}