// logout.js

function logout(){
	var f = document.forms['MainForm'];
	f.cmd.value = 'logout';
	f.submit();
}