function init() {
	alert('Hallo World!')
}

function changeOption(URL) {
    location.href = URL;
}