// JavaScript Document
function openDir( form ) { 

	var newIndex = form.fieldname.selectedIndex; 
	if ( newIndex == 0 ) { 
	}else if( newIndex == 2 ){
	window.location.assign( "Http://www.gafta.com" ); 
	}	else { 
	cururl = form.fieldname.options[ newIndex ].value; 
	window.location.assign( cururl ); 

	} 

} 


function frm() { 
var str = "<form name=\"form\" method=\"Post\"><select name=\"fieldname\""
var str = str + "class=\"slc\" onChange=\"openDir(this.form)\">"
var str = str +"<option value = \/>&gt;&gt; Site Navigation<\/option>"
var str = str +"<option value = index.php>Home<\/option>"
var str = str +"<option value = index.php>Gafta<\/option>"
var str = str +"<option value = arbitration.php>Arbitration<\/option>"
var str = str +"<option value = contracts.php>Contracts<\/option>"
var str = str +"<option value = events.php>Events<\/option>"
var str = str +"<option value = publications.php>Publications<\/option>"
var str = str +"<option value = contact.php>Contact us<\/option>"
var str = str +"<option value = commodities.php>Commodities<\/option>"
var str = str +"<option value = rules.php>IGPA Rules<\/option>"
var str = str +"<\/select><\/form>"
document.write(str)
} 

function disclaimer() { 
var str = "<div class=\"disclaimer\"><a href=\"index.php\">Home</a> <font color=\"#666666\"> | </font>"
var str = str +"<a href=\"disclaimer.php\">Disclaimer</a><font color=\"#666666\"> | </font>"
var str = str +"<a href=\"aboutus.php\">About Us</a> <font color=\"#666666\"> | </font>"
var str = str +"<a href=\"http://www.gafta.com\">Gafta</a> <font color=\"#666666\"> | </font>"
var str = str +"<a href=\"contact.php\">Contact Us</a></div>"
document.write(str)
}