v=File.ReadContents(filename)