elcod = {
	buscar : 'Buscar...',
};

window.onload = function() {
	var s = document.getElementById('s');
	s.value = elcod.buscar;

	s.onfocus = function() {
		if (this.value === elcod.buscar) this.value = '';
	};
	s.onblur = function() {
		if (this.value === '') this.value = elcod.buscar;
	}

	if (typeof prettyPrint != 'undefined') {
		prettyPrint();
	}
}