function HelloWorld() : String { return 'Hello'; }