705706707708709710711712713714715
while(p != null) { String uri = p.baseUri(); if(uri != null) { return uri; } p = p.parent(); } return null; } }
682683684685686687688689690691692