Gov't workers get leave credits on NSED days (Manila Times, 1997)