// JavaScript Document
function cambia_pavimentos() {
	document.pavimentos.submit();
}