if (document.getElementById)
{
  var navRoot = document.getElementById('nav');
  if (navRoot && navRoot.hasChildNodes())
  {
    for (var i=0; i < navRoot.childNodes.length; i++)
    {
      //-- etcetera
    }
  }
}