function nfc_int(myfield,e) {
	var keycode;
	if (window.event) keycode = window.event.keyCode;
	else if (e) keycode = e.which;
	else return true;
	if (((keycode>47) && (keycode<58) )  || (keycode==8)  || (keycode==46)   || (keycode==37) || (keycode==39) || (keycode==9)) { return true; }
	else return false;
	}