function drucken()
{
window.print();
}


var Image0 = new Image()
Image0.src = "pic/karte.gif"

var Image1 = new Image()
Image1.src = "pic/1.gif"

var Image2 = new Image()
Image2.src = "pic/2.gif"

var Image3 = new Image()
Image3.src = "pic/3.gif"

var Image4 = new Image()
Image4.src = "pic/4.gif"

var Image5 = new Image()
Image5.src = "pic/5.gif"

var Image6 = new Image()
Image6.src = "pic/6.gif"


function img1() {
	document.main.src = Image1.src; return true; }

function img2() {
	document.main.src = Image2.src; return true; }

function img3() {
	document.main.src = Image3.src; return true; }

function img4() {
	document.main.src = Image4.src; return true; }

function img5() {
	document.main.src = Image5.src; return true; }

function img6() {
	document.main.src = Image6.src; return true; }


function original() {
	document.main.src = Image0.src; return true; }