function open_win(URL,NAME,PROPS)
{
	window.open(URL,NAME,PROPS);
}