function pop(url, properties) {
	f1 = window.open( url, 'popup', properties );
	f1.focus();
}
function pop_name (url, name, properties) {
	f1 = window.open( url, name, properties );
	f1.focus();
}