//new
5 "" !=(1.000000 1:-1478172820|1.000000 1:-1478172821)