// JavaScript Document
<!-- 
function change_picture(picture_name)
{
	document.body.style.cursor = 'hand';
	document.getElementById('rahmen').style.position = 'absolute';
	var picture_path = picture_name.split('.png');
	document.getElementById('rahmen_bild').style.visibility = 'visible';
	document.getElementById('rahmen_bildinhalt').src = picture_path[0] + '.jpg';
}
function undo()
{
	document.body.style.cursor = 'default';
	document.getElementById('rahmen_bild').style.visibility='hidden';
}
-->