version = navigator.appVersion.toLowerCase();
agent = navigator.userAgent.toLowerCase();
ie = (version.indexOf('msie')>-1);
win = (version.indexOf('windows')>-1);
opera = (agent.indexOf('opera')>-1);
ie50 = (version.indexOf('msie 5.0')>-1);

function prncs() {
document.write(' \| \074a href=\"javascript:goprn();\"\076Tisk\074/a\076');
}
function prnen() {
document.write(' \| \074a href=\"javascript:goprn();\"\076Print\074/a\076');
}
function prnde() {
document.write(' \| \074a href=\"javascript:goprn();\"\076Presse\074/a\076');
}
function prnfr() {
document.write(' \| \074a href=\"javascript:goprn();\"\076Presse\074/a\076');
}
function goprn() {
window.print();
}