function OpenPopup(filename, target, options)
/* ///////////////////////////////////////////////
// pre:		valid filename, target and options	//
// --------------------------------------------	//
// action:	open filename popup window with		//
//			specified options, and set interval	//
//			to refresh parent on closure		//
// --------------------------------------------	//
// post:	none								//
/////////////////////////////////////////////// */
{
	window.popUpWin = window.open(filename, target, options);
	window.popChk = setInterval('if(popUpWin.closed){location.reload();clearInterval(popChk)}',100);
	return;
}