: 0 \ ; j\