/* Needed for loading menu in page. Found at http://www.netmechanic.com/news/vol5/javascript_no7.htm */

if (top.location == self.location) 
top.location.href="../../index.html?" + document.URL