function hover(btn, double) {
	if (double) {
		btn.className = 'button hover double';
	} else {
		btn.className = 'button hover';
	}
}

function hoverOff(btn, double) {
	if (double) {
		btn.className = 'button double';
	} else {
		btn.className = 'button';
	}
}

function surf(url) {
	document.location = url;
}