writemenuitem('Info', 'info.html');
writemenuitem('Links', 'links.html');
writemenuitem('Products', 'products.html');
writemenuitem('Home', 'index.html');

function writemenuitem(menutext, menulink)
{
	if (IsCurrentPage(menulink) == true)
		document.write('<div class="menuitemselected">');
	else
		document.write('<div class="menuitem">'); 

	if (IsCurrentPage(menulink) == true)
		document.write('<div class="menutext">' + menutext + '</div>');
	else
		document.write('<a href="' + menulink + '">' + '<div class="menutext">' + menutext + '</div>' + '</a>');

	document.write('</div>');
}

function IsCurrentPage(pagename)
{
	pagename = pagename.toLowerCase();
	var currentpath = window.location.pathname.toLowerCase();
	var currentpage = currentpath.substring(currentpath.lastIndexOf('/') + 1);
	currentpage = currentpage.toLowerCase();

	if (currentpage == '')
		currentpage = 'index.html';

	if (pagename == currentpage)
		return true;
	else
		return false;
}