function convert()
{
	str = document.searchform.search.value;

	str=str.replace(/ò/i, "ó");
	str=str.replace(/ß/i, "é");


	str=str.replace(/Ü/i, "á");
	str=str.replace(/Ý/i, "å");
	str=str.replace(/Þ/i, "ç");
	str=str.replace(/ß/i, "é");
	str=str.replace(/ü/i, "ï");
	str=str.replace(/ý/i, "õ");
	str=str.replace(/þ/i, "ù");
	
	str=str.replace(/¢/i, "á");
	str=str.replace(/¸/i, "å");
	str=str.replace(/¹/i, "ç");
	str=str.replace(/º/i, "é");
	str=str.replace(/¼/i, "ï");
	str=str.replace(/¾/i, "õ");
	str=str.replace(/¿/i, "ù");

	str=str.replace(/ú/i, "é");
	str=str.replace(/û/i, "õ");
	str=str.replace(/Ú/i, "é");
	str=str.replace(/Û/i, "õ");
	str=str.replace(/À/i, "é");
	str=str.replace(/à/i, "õ");

	str = str.toUpperCase();
 	document.searchform.search.value = str;	
}
