rename ZOJ 3509