// Do this in the HTML file after the script is loaded.//init("path/to/root");var buttons_over = new Array();var buttons_out = new Array();buttons_over['button_home'] = 'image/home_over.jpg';buttons_out['button_home'] = 'image/home.jpg';buttons_over['button_filme'] = 'image/filme_over.jpg';buttons_out['button_filme'] = 'image/filme.jpg';buttons_over['button_studio'] = 'image/studio_over.jpg';buttons_out['button_studio'] = 'image/studio.jpg';buttons_over['button_ueberuns'] = 'image/ueberuns_over.jpg';buttons_out['button_ueberuns'] = 'image/ueberuns.jpg';var preloaded_images = new Array();function init(path_to_root) {	for (name in buttons_over) {		buttons_over[name] = path_to_root + buttons_over[name];	}	for (name in buttons_out) {		buttons_out[name] = path_to_root + buttons_out[name];	}	preload();}function preload() {	for (name in buttons_over) {		preloaded_images[name] = new Image();		preloaded_images[name].src = buttons_over[name];	}}function rollover(name) {	document.getElementById(name).src = buttons_over[name];}function rollout(name) {	document.getElementById(name).src = buttons_out[name];}function popup(url, width, height, scrollbars) {	var features = "toolbar=no, "				 + "location=no, "				 + "status=no, "				 + "menubar=no, "				 + "scrollbars=" + (scrollbars ? "yes" : "no") + ", "				 + "resizable=yes, "				 + "width=" + width + ", "				 + "height=" + height;	window.open(url, null, features);}