var website = {
	init : function() {
		var pres = document.getElementsByTagName("pre");
		for (var i=0, n=pres.length; i<n; i++) {
			if (pres[i].className && pres[i].className.match("nohl")) continue;
			pres[i].className += " prettyprint";
		}

		var forms = document.getElementsByTagName("form");
		for (var i=0, n=forms.length; i<n; i++) {
			if (!forms[i].className || !forms[i].className.match("search")) continue;
			if (i==0) {
				var inputs = forms[i].getElementsByTagName("input");
				for (var j=0, m=inputs.length; j<m; j++) {
					if (inputs[j].type && inputs[j].type=="text") {
						var text = inputs[j].value;
						inputs[j].onfocus = function() {
							if (this.value==text) this.value = "";
						}
						inputs[j].onblur = function() {
							if (!this.value) this.value = text;
						}
						break;
					}
				}
			}
		}

		if (pres.length>0) prettyPrint();
	}
}