loc = window.location.href; /* extract filename to compare */
file = loc.substring (loc.lastIndexOf('/') + 1);

var subMenuURLs = new Array

  ("paradise+wedding+mauritius.html",
   "les+pavillons+wedding.html",
   "the+residence+wedding.html",
   "prince+maurice+wedding.html",
   "dinarobin+golf+spa.html",
	"beau+rivage.html",
	"belle+mare+plage+resort.html");

var subMenuNames = new Array

 ("Sugar Beach Resort",
  "Les Pavillons",
  "The Residence",
  "Le Prince Maurice",
  "Dinarobin Golf & Spa",
  "Beau Rivage",
  "Belle Mare Plage Resort");


document.write('<font size="-1" color="#072d76">')

for(var i = 0; i <subMenuURLs.length; i++)

if(subMenuURLs[i] == file)
document.write(" <nobr><font color=\"#00000\">"+subMenuNames[i]+" |</font></nobr> ");
else
document.write(" <nobr><a href="+subMenuURLs[i]+">"+subMenuNames[i]+"</a> |</nobr> ");

document.write('</font>')