function url(value)
{
	document.location.href = value;
}