function GetFrameWidth() {
	if (self.innerWidth) {
		return(self.innerWidth);
	} else if (document.documentElement && document.documentElement.clientWidth) {
		return(document.documentElement.clientWidth);
	} else if (document.body) {
		return(document.body.clientWidth);
	} else {
		return(0);
	}
}

function GetFrameHeight() {
	if (self.innerWidth) {
		return(self.innerHeight);
	} else if (document.documentElement && document.documentElement.clientWidth) {
		return(document.documentElement.clientHeight);
	} else if (document.body) {
		return(document.body.clientHeight);
	} else {
		return(0);
	}
}

function changeScreenSize(w,h) {
	// First, resize to desired W and H:
	window.resizeTo( w,h );

	// Now, get the current frame height/width:
	fw=GetFrameWidth();
	fh=GetFrameHeight();

	// Find the difference:
	extraw = w - fw;
	extrah = h - fh;

	// Find new window size to give a frame size that we like:
	w=w+extraw;
	h=h+extrah;

	// Resize again, this time to the correct value:
	window.resizeTo( w,h );
}