(def number 1)