<!--
function redirection(url)
{
	windows.location.href=url;
}
//-->