/*
	OFPEC Tutorials
	12 January 2009

	local js functions
*/

function select_depot(menu, url_code) {
	var opt = menu.selectedIndex;
	var option = menu[opt].value;

window.location = 'index.php?action=' + url_code + '&depot=' + option;
}