— MANILA den —.