
function buildmenu(menuinfo, activemenu, activemenuclass)
{
    for (var i = 0; i < menuinfo.length; i++) {
	if (activemenu == menuinfo[i][0]) {
	    /* if this is the active menu, set the class */
	    var html = '<a class="' + activemenuclass + '" id="' + menuinfo[i][0] + '" href="' + menuinfo[i][1] + '">';
	} else {
	    var html = '<a id="' + menuinfo[i][0] + '" href="' + menuinfo[i][1] + '">';
	}
	html += menuinfo[i][2] + '</a>';
	document.writeln(html);
    }
}
