sfHover = function() 
{
    try
    {
        if( document.getElementById("nav") )
        {
            var sfEls = document.getElementById("nav").getElementsByTagName("LI");
            for (var i=0; i<sfEls.length; i++) 
            {
                sfEls[i].onmouseover=function() 
                {
                    this.className+=" ie_does_hover";
                }
                sfEls[i].onmouseout=function() 
                {
                    this.className=this.className.replace(new RegExp(" ie_does_hover\\b"), "");
                }
            }
        }
    }
    catch(err)
    {
    }
}
if (window.attachEvent) window.attachEvent("onload", sfHover);


function setos(obj,slink)
{
	try
	{
		shrefparam = "unkown";
		switch(obj.selectedIndex)
		{
			case 0: //Windows ME
							shrefparam = "winme";
							break;
			case 1: //Windows 92SE
							shrefparam = "win98se";
							break;
			case 2: //Windows win2000
							shrefparam = "win2000";
							break;
			case 3: //Windows XP
							shrefparam = "winxp";
							break;
			case 4: //Windows Vista
							shrefparam = "winvista";
							break;
			default:
						shrefparam = "unknown";
		}
	}
	catch(e)
	{
	}
	finally
	{
		document.getElementById(slink).href = "http://www.retsoft.com/downloadfile.php?type=demo&os=" + shrefparam;
	}
}

function submitonenter(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;
}

function trim (str) {
	var whitespace = ' \n\r\t\f\x0b\xa0\u2000\u2001\u2002\u2003\u2004\u2005\u2006\u2007\u2008\u2009\u200a\u200b\u2028\u2029\u3000\&nbsp;';
	for (var i = 0; i < str.length; i++) {
		if (whitespace.indexOf(str.charAt(i)) === -1) {
			str = str.substring(i);
			break;
		}
	}
	for (i = str.length - 1; i >= 0; i--) {
		if (whitespace.indexOf(str.charAt(i)) === -1) {
			str = str.substring(0, i + 1);
			break;
		}
	}
	return whitespace.indexOf(str.charAt(0)) === -1 ? str : '';
}

function emptyfield(elementid, changeType, defaultValue)
{
// empties a inputfield. So use this function only with input fields!

    try
    {
        var inputfield = document.getElementById(elementid);
        if( inputfield )
        {
            if( changeType )
                inputfield.type = 'password';

            if( trim(inputfield.value) == trim(defaultValue) )
                inputfield.value = '';
        }
    }
    catch(err)
    {
        alert('>'+err.description+'<');
    }

}