function f(o){
	if (o.value.match(/([^0-9])/)) {
		o.value=o.value.replace(/([^0-9])/g,"");
	}
}

function is_numeric(string) {
	var valid_chars = "0123456789";
	return check_string(string, valid_chars);
}  

function is_alpha(string) {
	var valid_chars = "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
	return check_string(string.toUpperCase(), valid_chars);
}

function check_string(string, valid_chars) {
	var is_valid=true;
	var char;

	for (i=0; i<string.length && is_valid == true; i++) { 
		char = string.charAt(i); 
		if (valid_chars.indexOf(char) == -1) {
			is_valid = false;
		}
	}

	if (string.length == 0) {
		is_valid = false;
	}

	return is_valid;	
}