}[[[[0],[0E-040]-