// Functions common to all pages

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

function nada() {
// empty function
}