if (purl.sameFile(durl)) {
String frag = purl.getRef();
if (frag != null && frag.length() != 0) {
Element refElt = doc.getElementById(frag);
if (refElt instanceof SVGOMAnimationElement) {
SVGOMAnimationElement aelt =
(SVGOMAnimationElement) refElt;
float t = aelt.getHyperlinkBeginTime();
if (Float.isNaN(t)) {
aelt.beginElement();
} else {
doc.getRootElement().setCurrentTime(t);
}
return;
}