(Israel declared independence.)