function writeViewNumCookie( viewNum, newUrl ) 
{
 var today = new Date();
 var the_date = new Date("December 31, 2023");
 var the_cookie_date = the_date.toGMTString();
 var the_cookie = "viewNum="+ viewNum;
 var the_cookie = the_cookie + ";expires=" + the_cookie_date;
 document.cookie = the_cookie;
 window.location.assign( newUrl );
}

function setViewNum( form ) 
{ 
	var newIndex = form.currency.selectedIndex; 
	if ( newIndex == 0 ) { 
		alert( "Please select a location!" ); 
	}
     else { 
	   var viewNum = form.currency.options[ newIndex ].value;
	   var newUrl = form.cururl.value;
        writeViewNumCookie( viewNum, newUrl );
	} 
}