var rootDirectory = "";

PINT_BrowserDetection("browserupgrade.htm");

function init() {
	var fileName  = PINT_GetCurrentFileName();
	var directory = PINT_GetCurrentDirectory();
	var search = document.getElementById('search');
	search.onfocus = function() {
		if ( this.value == this.defaultValue ) { this.value = ''; };	
	}
}

function cleanup(){}

window.onload = init;
window.onunload = cleanup;