function getkey(e) {
	if (window.event)
		return window.event.keyCode;
	else if (e)
		return e.which;
        else
		return null;
}

function goodchars(e, goods) {
	var key, keychar;
	key = getkey(e);

	if (key == null)
		return true;
	keychar = String.fromCharCode(key);
	keychar = keychar.toLowerCase();
	goods = goods.toLowerCase();

	if (goods.indexOf(keychar) != -1)
		return true;
	if ( key==null || key==0 || key==8 || key==9 || key==13 || key==27 )
		return true;

        return false;
}

function isint(val) {
	var string="0123456789";
	
	if (val==null)
		return false;
	if (val.length == 0)
		return false;

	for(var i=0; i<val.length; i++) {
		var num = val.charAt(i);
		if (string.indexOf(num)==-1)
			return false;
	}

	return true;
}