function Karte(){
document.Plan.Index.reset
setTimeout("setzeDaten()",0)
setTimeout("Fenster(document.Plan.Index.value)",1)
}
function setzeDaten(){
document.Plan.Index.value = document.images.Karte.src
}
function Fenster(x){
if(x.indexOf('karte1.gif')> -1)
{set ="1";set2 ="0"}
else{
if(x.indexOf('karte2.gif')> -1)
{set ="2";set2 ="1"}
else{
if(x.indexOf('karte3.gif')> -1)
{set ="3";set2 ="2"}
else{
set ="4";set2 ="3"};};}
var fenster = window.open("","anzeige","width=820,height=630,top=0,scrollbars=yes,menubar=no,status=yes")
if (fenster != null){
with (fenster.document){
open();
write("Karte vergrößerte Ansicht");
write("![](../pension/karte"+set+".gif)
")
write("");
write("");
write("");
write("");
close();
}}}
var myPix = new Array("../pension/karte1.gif","../pension/karte2.gif","../pension/karte3.gif","../pension/karte4.gif")
var thisPic = 0
function doPrevious() {
if (document.images && thisPic > 0) {
thisPic--
document.Karte.src=myPix[thisPic]
};}
function doNext() {
if (document.images && thisPic < 3) {
thisPic++
document.Karte.src=myPix[thisPic]
};}