function CheckForm( form_name ) 
/* ///////////////////////////////////////
// pre:		name of the form 	//
// ------------------------------------	//
// action:	check if all fields in	//
//		the form are legal	//
// ------------------------------------	//
// post:	if false, alert message //
//		otherwise return true	//
/////////////////////////////////////// */
{ 
	if(form_name == "login")
	{
		// If form contains empty values
		if(document.login.login_user.value == "" || document.login.login_password.value == "")
		{
			alert("Uw invoer is niet volledig.\n\nProbeer het opnieuw a.u.b.");

			if(document.login.login_user.value == "") document.login.login_user.focus();
			if(document.login.login_password.value == "") document.login.login_password.focus();

			return(0);
		}
		//else if(document.login.
	}


	return;
}