Sophie
var a01579 = [ [ "_BACKWARD_STRSTREAM", "a01579.html#a55a0306a8cea413c4b35210b0606fc34", null ] ];