function validateNotEmpty(ctrl) {
	var result = ctrl.value != '';
	ctrl.style.background = result ? '#FFFFFF' : '#FF0000';
	ctrl.style.color = result ? '#000000' : '#FFFFFF';
	return result;
}

function open_up(dok) {
	unik = new Date();
	unik = unik.getSeconds() + "_" + unik.getMinutes() + "_" + unik.getHours();

	resten = "toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=yes,resizable=yes,copyhistory=no,width=100,height=100";
	fonster = window.open(dok, unik, resten);
}


function GetInnerSize() {
	var x, y;
	if (self.innerHeight) // all except Explorer
	{
		x = self.innerWidth;
		y = self.innerHeight;
	}
	else if (document.documentElement && document.documentElement.clientHeight)
	// Explorer 6 Strict Mode
	{
		x = document.documentElement.clientWidth;
		y = document.documentElement.clientHeight;
	}
	else if (document.body) // other Explorers
	{
		x = document.body.clientWidth;
		y = document.body.clientHeight;
	}
	return [x, y];
}


function ResizeToInner(w, h, x, y) {
	// make sure we have a final x/y value
	// pick one or the other windows value, not both
	if (x == undefined) x = window.screenLeft || window.screenX;
	if (y == undefined) y = window.screenTop || window.screenY;
	// for now, move the window to the top left
	// then resize to the maximum viewable dimension possible
	window.moveTo(0, 0);
	window.resizeTo(screen.availWidth, screen.availHeight);
	// now that we have set the browser to it's biggest possible size
	// get the inner dimensions.  the offset is the difference.
	var inner = GetInnerSize();
	var ox = screen.availWidth - inner[0];
	var oy = screen.availHeight - inner[1];
	// now that we have an offset value, size the browser
	// and position it
	window.resizeTo(w + ox, h + oy);
	window.moveTo(x, y);
}