// input in katnr field
function katno() { with(document) {
	var x= getElementById('cat').value; 
	with(forms[0]) {	if (x) { tu.value="find"; navlink.value=""; submit(); }
}}}


// decode spanish accent in wert
function accent11(x) { 
	var a=new Array('a11','e11','i11','o11','u11','a12','e12','i12','o12','u12'); 
	var accent=new Array('á','é','í','ó','ú','Á','É','Í','Ó','Ú'); var zl=0;
	while (zl < 10) {	x=x.replace(a[zl],accent[zl]); zl++;	}  
	return(x);
}