// Returns true if "str" is 0, 1, 2, 3, ...
function is_non_negative_integer(str) {
	return /^\d+$/.match(str);
}