var list_across0 = [
'_contents.htm',
'_reference.htm',
'_index.htm',
'_search.htm',
'_external.htm'
];
var list_up0 = [
'cppad.htm',
'ad.htm',
'advalued.htm',
'discrete.htm'
];
var list_down3 = [
'install.htm',
'introduction.htm',
'ad.htm',
'adfun.htm',
'multi_thread.htm',
'library.htm',
'cppad_ipopt_nlp.htm',
'example.htm',
'preprocessor.htm',
'appendix.htm'
];
var list_down2 = [
'default.htm',
'ad_copy.htm',
'convert.htm',
'advalued.htm',
'boolvalued.htm',
'vecad.htm',
'base_require.htm'
];
var list_down1 = [
'arithmetic.htm',
'std_math_ad.htm',
'mathother.htm',
'condexp.htm',
'discrete.htm',
'user_atomic.htm'
];
var list_down0 = [
'tapeindex.cpp.htm',
'interp_onetape.cpp.htm',
'interp_retape.cpp.htm'
];
var list_current0 = [
'discrete.htm#Syntax',
'discrete.htm#Purpose',
'discrete.htm#Base',
'discrete.htm#name',
'discrete.htm#x',
'discrete.htm#y',
'discrete.htm#ax',
'discrete.htm#ay',
'discrete.htm#Create AD Version',
'discrete.htm#Operation Sequence',
'discrete.htm#Derivatives',
'discrete.htm#Parallel Mode',
'discrete.htm#Example',
'discrete.htm#Deprecated'
];
function choose_across0(item)
{	var index          = item.selectedIndex;
	item.selectedIndex = 0;
	if(index > 0)
		document.location = list_across0[index-1];
}
function choose_up0(item)
{	var index          = item.selectedIndex;
	item.selectedIndex = 0;
	if(index > 0)
		document.location = list_up0[index-1];
}
function choose_down3(item)
{	var index          = item.selectedIndex;
	item.selectedIndex = 0;
	if(index > 0)
		document.location = list_down3[index-1];
}
function choose_down2(item)
{	var index          = item.selectedIndex;
	item.selectedIndex = 0;
	if(index > 0)
		document.location = list_down2[index-1];
}
function choose_down1(item)
{	var index          = item.selectedIndex;
	item.selectedIndex = 0;
	if(index > 0)
		document.location = list_down1[index-1];
}
function choose_down0(item)
{	var index          = item.selectedIndex;
	item.selectedIndex = 0;
	if(index > 0)
		document.location = list_down0[index-1];
}
function choose_current0(item)
{	var index          = item.selectedIndex;
	item.selectedIndex = 0;
	if(index > 0)
		document.location = list_current0[index-1];
}