function Concat(s1, s2): string;