Sophie
var a00152 = [ [ "_GLIBCXX_STRING", "a00152.html#a987238db00d430dd2d439ad57c012b77", null ] ];