function resizeFlash(hoogte)
{
	var movie = document.getElementsByName("kleurkaart")[0];
	movie.style.height = hoogte + "px";
}