String function JSON_print(model : Element)
Element function input_timeout(timeout : Float)