// Enter Javascript here
function openPrint(path)
{
	window.print();
}

function openPagemailer(path)
{
	pagemailer = window.open(path,"mail","width=500,height=400,resizable=no");
	pagemailer.focus();
}
function changepic(id)
{           
    var bild = document.getElementById(id);
    var bildurl = bild.src;
    var ausdruck = /^(.+)((.jpg)|(.gif)|(.jpeg))$/;                   
    ausdruck.exec(bildurl);
    var b = RegExp.$1;
    var e = RegExp.$2;
    if (b.search(/_h$/) != -1)
    {
        var ausdruck2 = /^(.+)_h/;
        ausdruck2.exec(b);
        bild.src = RegExp.$1+e;
    }
    else
    {
        bild.src = b+"_h"+e;
    }
}
