// Functions common to all pages

function btn_over(btn_id)
{
document.getElementById('btn_'+btn_id).style.background='#FF99CC';
}
function btn_out(btn_id)
{
document.getElementById('btn_'+btn_id).style.background='#666666';
}

function btn_html(btn_name, btn_alt) {
if (btn_name == page_ref) {
	document.write("<td class='current' width='20%'>" + btn_alt + "</td>");
} else {
	document.write("<td class='menu' width='20%' id='btn_" + btn_name + "'><a href='" + btn_name + ".shtml'");
	document.write(" class='button' onmouseover='btn_over(\"" + btn_name + "\")'");
	document.write(" onMouseOut='btn_out(\"" + btn_name + "\")'>");
	document.write(btn_alt + "&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</a></td>");
}
}



function nada() {
// empty function
}