function redirect($url)
{
	document.location=$url;
}