function string_is_email_address(str)
{
	if( str.indexOf('@') == -1 ) {
		return false;
	}
	return true;

}

function string_firstcap( str )
{
	return str.charAt(0).toUpperCase() + str.slice(1);
}

function string_elfproef( str )
{
	if( str.length <= 0 || str.length > 9 ) {
		return false;
	}

	// Indien korter dan 9 cijfers, links aanvullen met 0'en.
	while( str.length < 9 ) {
		str = '0' + str;
	}

	var sum = 0;
	for( var i=0; i < 9; i++ ) {
		sum += str.charAt(i) * ( 9 - i);
	}

	return( sum % 11 == 0 );

}