function vai() { 
top.document.location = document.getElementById("lin").href;
}