function toaddr (url) {
	if(!window.open(url))
		location.href=url;
}