function setmenu(prefix) {
	if (parent.menu) {
		parent.menu.active = prefix;
		parent.menu.menuupdate();
	} else {
		setTimeout("setmenu('"+prefix+"')", 5000);
	}
}