// JavaScript Document - area code select
function areacode(that){
	var area_txt = that.options[that.selectedIndex].value;
	document.getElementById('areacode1').value = area_txt;
	document.getElementById('areacode2').value = area_txt;
}//end function

function numselect0845(that){
	var num_txt = that.options[that.selectedIndex].value;
	document.getElementById('num0845').value = num_txt;
}//end function
function numselect0870(that){
	var num_txt = that.options[that.selectedIndex].value;
	document.getElementById('num0870').value = num_txt;
}//end function