function buscar() {
	if(document.getElementById('txt_busqueda').value!='Referencia del producto') {
		location.href = "busqueda.php?busqueda="+document.getElementById('txt_busqueda').value;
	}			
}

function limpiaInput(input) {
	if(input.value=='Referencia del producto'){input.value='';}
}

function escribeInput(input) {
	if(input.value==''){input.value='Referencia del producto';}
}