function CheckLogin( )
/* ///////////////////////////////////////
// pre:		-			//
// ------------------------------------	//
// action:	check if a username and	//
//		password are given	//
// ------------------------------------	//
// post:	if false, alert message //
//		otherwise return true	//
/////////////////////////////////////// */
{
	if(document.login.login_user.value == "" || document.login.login_password.value == "")
	{
		echo("Geen username of password gegeven!");
		return(false);
	}
	else return(true);
}