function "sensitivity" {
	if ($argc == 1) {
		echo "\"", $0, "\" is \"", $in_mouse_amp, "\""
		return
	}
	in_mouse_amp $1
}
export sensitivity