function Null () { return "" }