Martial law in the Philippines was declared in 1972. How many years ago was that?