var linktext=new Array()
linktext[1]="<br /><b>Casa das Mimosas, algemene informatie</b>"
linktext[3]="<b>Casa das Mimosas, beneden<br />appartement voor 2 personen<br />(+ 2 extra beddens)</b>"
linktext[4]="<b>Casa das Mimosas, boven<br />huis voor 4 personen<br />(+ 2 extra bedden)</b>"
linktext[5]="<b>Casa das Mimosas, beneden + boven<br />huis voor 8 personens<br />(+ 1 extra bed)</b>"
linktext[6]="<br /><b>Casa das Mimosas</b>"
linktext[7]="<br /><b>Casa das Mimosas, beneden</b>"
linktext[8]="<br /><b>Casa das Mimosas, boven</b>"
linktext[9]="<br /><b>Casa das Mimosas, vanaf de rivier</b>"
linktext[11]="<br /><b>Casa da Abelenda, algemene informatie</b>"
linktext[12]="<b>Casa da Abelenda<br />huis voor 4 personen<br />(+ 2 extra bedden)</b>"
linktext[13]="<br /><b>Casa da Abelenda, indeling</b>"
linktext[14]="<br /><b>Casa da Abelenda</b>"
linktext[21]="<br /><b>Casa Principal</b>"
linktext[31]="<br /><b>De Kamers</b>"
linktext[41]="<br /><b>Casa do Carvalho, algemene informatie</b>"
linktext[42]="<b>Casa do Carvalho<br />huis voor 2 personen<br />(+ 2 extra bedden)</b>"
linktext[43]="<br /><b>Casa do Carvalho, indeling / prijzen</b>"
linktext[44]="<br /><b>Casa do Carvalho</b>"
linktext[32]="<br /><b>een kamer in Casa Principal</b>"
linktext[51]="<br /><b>Casa Anexo, algemene informatie</b><br />"
linktext[53]="<b>Casa Anexo, beneden<br />appartement voor 2 personen<br />(+ 2 extra bedden)</b>"
linktext[54]="<b>Casa Anexo, boven<br />huis voor 4 personen<br />(+ 2 extra bedden)</b>"
linktext[55]="<b>Casa Anexo, beneden + boven<br />huis voor 8 personen<br />(+ 1 extra bed)</b>"
linktext[56]="<br /><b>Casa Anexo, aan de Rio Dão</b>"
linktext[58]="<br /><b>Casa Anexo</b>"


var ns6=document.getElementById&&!document.all
var ie=document.all

function show_text(thetext, whichdiv){
if (ie) eval("document.all."+whichdiv).innerHTML=linktext[thetext]
else if (ns6) document.getElementById(whichdiv).innerHTML=linktext[thetext]
}

function reset(whichdiv){
if (ie) eval("document.all."+whichdiv).innerHTML=' '
else if (ns6) document.getElementById(whichdiv).innerHTML=' '
}


