function setp(nid) { document.getElementById(nid).style.paddingLeft = "20px"; }
function setpb(nid) { document.getElementById(nid).style.paddingLeft = "50px"; }

function setps(nid) { document.getElementById(nid).style.paddingLeft = "50px"; }
function setpbs(nid) { document.getElementById(nid).style.paddingLeft = "50px"; }

function tauschen(obj,img) {

	if (document.images) {
	obj.src=img }}