// Functions common to all pages


function btn_html(btn_name, btn_alt) {
if (btn_name == page_ref) {
	document.write(btn_alt);
} else {
	document.write("<a href='" + btn_name + ".shtml' class='button'>" + btn_alt + "</a>");
}
}

function nada() {
// empty function
}