// Check whether string s is empty.

var whitespace = " \t\n\r";

function isEmpty(s)
{   return ((s == null) || (s.length == 0))
}



// Returns true if string s is empty or 
// whitespace characters only.

function isWhitespace (s)

{   var i;

    // Is s empty?
    if (isEmpty(s)) return true;

    // Search through string's characters one by one
    // until we find a non-whitespace character.
    // When we do, return false; if we don't, return true.

    for (i = 0; i < s.length; i++)
    {   
        // Check that current character isn't whitespace.
        var c = s.charAt(i);

        if (whitespace.indexOf(c) == -1) return false;
    }

    // All characters are whitespace.
    return true;
}

function isEmail (s)
{
   if (isEmpty(s)) return false;
   if (isWhitespace(s)) return false;

    var i = 1;
    var sLength = s.length;

    // look for @
    while ((i < sLength) && (s.charAt(i) != "@"))
            {
                i++
        }

    if ((i >= sLength) || (s.charAt(i) != "@")) return false;
    else i += 2;

    // look for .
    while ((i < sLength) && (s.charAt(i) != "."))
            {
                i++
            }

    // there must be at least one character after the .
    if ((i >= sLength - 1) || (s.charAt(i) != ".")) return false;
    else return true;
}

function submitenter(myfield,e)
{
var keycode;
if (window.event) keycode = window.event.keyCode;
else if (e) keycode = e.which;
else return true;

if (keycode == 13)
   {
   myfield.form.submit();
   return false;
   }
else
   return true;
}

//
//	Anchor fixing script
//
function fixAnchorClick(evt)
	{
	evt = (evt) ? evt : ((window.event) ? window.event : "");
	if (evt)
		{
		var e = (evt.target) ? evt.target : evt.srcElement;
		if (e.tagName == "A")
			{
			var aname = e.href.match(/#[a-z0-9A-Z]+$/);
			if (aname)
				{
				var page = document.location.href.match(/^[^#]+/)
				page += aname;
				document.location.href = page;
				return false;
				}
			}
		}
	return true;
	}
	
//
//	Initialize things that need initialization
//
function initBody() 
	{
	fixSubNavi();
	}	
	

function lookForType(element, type)
	{
	var i, node;
	for (i=0; i < element.childNodes.length; i++) 
		{
		//
		//	Is this the correct node type?
		//
		node = element.childNodes[i];
		if (node.nodeName == type)
			return node;

		//
		//	If not look in the children
		//
		node = lookForType(node, type);
		if (node)
			return node;
		}

	return null;
	}
	
	
function fixSubNavi()
	{
	//
	//	Look for the subnav div
	//
	var navRoot;
	if (document.getElementById) 
		navRoot = document.getElementById("subnav")
	
	if (!navRoot)
		return;

	//
	//	Look for the UL in the subnav
	//
	navRoot = lookForType(navRoot, "UL");
	if (!navRoot)
		return;

	var reg = new RegExp("[a-z]+$");
	var last_part = new String(document.location.href.match(reg));
	
	for (i=0; i < navRoot.childNodes.length; i++) 
		{
		node = navRoot.childNodes[i];
		if (node.nodeName=="LI") 
			{
			for (j=0; j < node.childNodes.length; j++) 
				{
				if (node.childNodes[j].nodeName == "A")
					{
					var href = node.childNodes[j].href;
//					alert(href);
					
					var st = new String(href.match(/[a-z]+$/));
					if (st.toString() == last_part.toString())
						{
						node.className = "current";
						return;
						}
					}
				}
			}
		 }
	}