function resize_win(h, w)
{
	l = (screen.width - w) / 2; t = (screen.height -h) / 2;
	window.moveTo(l,t);
	ho = window.outerHeight - window.innerHeight
	wo = window.outerWidth - window.innerWidth
	if (!(ho > 0)) {
		ho = abs(document.body.clientHeight - document.documentElement.clientHeight)
		wo = abs(document.body.clientWidth - document.documentElement.clientWidth)
	}
	window.alert("heightoverhead: "+ho+"\nwidthoverhead: "+wo);
	window.resizeTo(wo + w, ho + h);
}
 
function open_win(name, url)
{
	w = 141; h = 100;
	l = (screen.width - w) / 2; t = (screen.height -h) / 2;
	window.open(url, name, "dependent=yes,directories=no,scrollbars=no,"
		+"Height="+h+",Width="+w+",left="+l+",top="+t+","
		+"hotkeys=no,menubar=no,personalbar=no,status=no,titlebar=no,toolbar=no");
}