function href(link) {
	if (link) {
		document.location = link;
	} else {
		document.location = document.forms[0].elements[0].value;
	}
}