function mailmangle(name) {
	var  res = "";
	for (var n = 0;  n < name.length;  n++)
		res += String.fromCharCode(name.charCodeAt(n)-1);
	if  (res.indexOf('@') < 0)
		res = res + '@' + 'xi' + 'sl.' + 'com';
	location = "mail" + "to:" + res;
}
function nonblank(s)  {
	for (var i = 0;  i < s.length;  i++)  {
		var c = s.charAt(i);
		if  (c != ' '  &&  c != '\t'  &&  c != '\n')
			return  true;
	}
	return  false;
}
function isnumeric(str)  {
	if  (str.length <= 0)
		return  false;
	var haddot = false;
	for  (var i = 0;  i < str.length;  i++)  {
		var c = str.charAt(i);
		if  (c == '.')  {
			if  (haddot)
				return  false;
			haddot = true;
		}
		else  if  (c < '0' || c > '9')
			return  false;
	}
	return  true;
}
function movedto(name) {
	var p = location.pathname;
	var i = p.lastIndexOf('/');
	if (i >= 0)
		p = p.substr(i+1);
	location = name + p;
}

var help_count = 0;

function disphelp(name) {
	var url = "pophelp/" + name + ".html";
	window.open(url, "help"+help_count++, "resizable,width=400,height=400");	
}