function jump(url)
{
	if (url != "" && url != null) self.location.href = url;
}