Sophie
var a14785 = [ [ "_GLIBCXX_TR1_CLIMITS", "a14785.html#ab04997d5333da9c10536856dfc8c116e", null ] ];