<!--
function openWindow(fileName) {
fileName = fileName.replace(/^hggf:\|\|/, "http://");var n=open(fileName,'destination','');
}
-->