window.onload = function() {
	if (self.location.href != parent.location.href) {
		var pattern = /javascript: w = window.open\(\'([^\']+)\'/;
		var alinks = document.getElementsByTagName('a');
		for( var i = 0; i < alinks.length; i++ ) { 
			var href = alinks[i].getAttribute('href');
			var result;
			if (result = pattern.exec(href)) {
				<!--alert(result[1]);-->
				alinks[i].setAttribute('href', result[1]);
			}
		}
	} 
}
