<!--
function isNumeric(x) {
	if (x.length == 0) {return false};
	for (i=0;i<x.length;i++) {
		if (x.charAt(i)<"0" || x.charAt(i)>"9")
			{return false};
	}
	return true;
}
//-->