function ahref(hrefpage) {
	document.location.href = hrefpage
	return true
}

function choice_href(msg, shref) {
	doit = confirm(msg);
	if(doit) {
		document.location.href = shref;
	}
}

function get_length(str) {
	var real_length = 0
	var i = 0
	var len = str.length

	for(i=0; i<len; i++) {
		ch = str.charCodeAt(i)
		if( ch >= 0xFF )	real_length += 2
		else				real_length++;
	}
	return real_length
}

function open_mail(mail_url) {
	temp = window.open(mail_url, 'MAIL_POP', 'width=450, height=420, menubar=no, status=yes, toolbar=no, location=no, scrollbars=no, resizable=no');
	temp.focus()
}