// Fokussiert das Element mit der entsprechenden ID (Nickname-INPUT beim Login)
function js_focus_element( Name ) {
	document.getElementsByName( Name )[ 0 ].focus();
}


// Fokussiert das Element mit der entsprechenden ID (Nickname-INPUT beim Login)
function js_select_element( Name ) {
	document.getElementsByName( Name )[ 0 ].select();
}


// Stellt die Website URL als Startseite ein
function js_startseite( URL ) {
    document.body.style.behavior = "url(#default#homepage)";
    document.body.setHomePage( URL );
}


// Fügt die Website URL mit dem Title zu den Favoriten hinzu
function js_favoriten( URL, Title ) {
    window.external.AddFavorite( URL, Title );
}