//	already have: script language=javascript

//	Global Javascript stuff


if(navigator.appName.indexOf("Netscape") == -1)
{
	vCurrentBrowserType="Explorer"
}
else
{
	vCurrentBrowserType="Netscape"
}

function vjfPause(numberMillis) 
{
	var now = new Date();
	var exitTime = now.getTime() + numberMillis;

        
	while (true) 
	{
		now = new Date();
		if (now.getTime()  >  exitTime)
			return;
	}

}

function vjfLeft(str, n){
	if (n <= 0)
	    return "";
	else if (n > String(str).length)
	    return str;
	else
	    return String(str).substring(0,n);
}
function vjfRight(str, n){
    if (n <= 0)
       return "";
    else if (n > String(str).length)
       return str;
    else {
       var iLen = String(str).length;
       return String(str).substring(iLen, iLen - n);
    }
}

	
function changeImages() 
{
	document[changeImages.arguments[0]].src = eval(changeImages.arguments[1] + ".src");
}

function newImage(arg) 
{

	if (document.images) 
	{
		rslt = new Image();
		rslt.src = arg;
		return rslt;
	}
}



//already have: </script>