[?(@[?(0100000000000000000000000.0)])]