def python