<!-- 
/*
 JavaScript functions
*/ 


// fix dashed borders on links:
	var browser = navigator.userAgent.toLowerCase();
	function fixUglyIE(){
		for (a in document.links)
			document.links[a].onfocus = document.links[a].blur;
	}
	if (document.all){
		document.onmousedown = fixUglyIE;
	}

// add to bookmark:
	function bookme(pathe){
		if (document.all)
			window.external.AddFavorite(pathe,"כותרת")
		else if (window.sidebar)
			window.sidebar.addPanel("כותרת", pathe, "")
	}


// open new popup:
	function opn(objLink,objName,objProp) {
		window.open(objLink,objName,objProp)
	}






//-->