/* Sprungfunktion */

function jumpto(URL)
{ document.location.href=URL; };

function setfocus(ID)
{ document.getElementById(ID).focus() };

function setselect(ID)
{ document.getElementById(ID).select() };