// Functions common to all pages

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

function nada() {
// empty function
}