var colors = new Array(	"#999999",		//  0 - Home
			"#333333",		//  1 - Hover Home
			"#9999ff",		//  2 - Herstel
			"#333333",		//  3 - Hover Herstel
			"#6666ff",		//  4 - Doorstart
			"#333333",		//  5 - Hover Doorstart
			"#3333cc",		//  6 - Interim
			"#333333",		//  7 - Hover Interim
			"#000099",		//  8 - Controle
			"#333333",		//  9 - Hover Controle
			"#333366",		// 10 - Info
			"#333333");		// 11 - Hover Info

function color(obj, color) {
	document.getElementById(obj).style.backgroundColor = colors[color];
}

function go(place) { document.location = place;
}