function checkphone(form, mobile_calls_allowed, intelligent_network_allowed) {
	if (!form.telefono_usuario.value) {
		alert(error_msg('missing_phone_number', ''));
		return false;
	} else {
		var nacional_movil=/^6\d{8}$/;
		var nacional_fijo=/^[89][^0]\d{7}$/;
		var intelligent_network=/^[89]0\d{7}$/;
		var extranjero=/^\d{6}\d*$/;		// Por lo menos 6 dígitos de longitud para un número extranjero (y me quedo corto).
		var prefijo=form.prefijo_usuario.value;
		var phone=form.telefono_usuario.value.replace(/ /g,"");       // Strip out spaces
		form.telefono_usuario.value = phone;
		var result = ((!prefijo || prefijo=='' || prefijo=='+34') && 
							(nacional_fijo.test(phone) || (mobile_calls_allowed && nacional_movil.test(phone)) || 
								intelligent_network_allowed && intelligent_network.test(phone)) 
						|| 
						 extranjero.test(phone));
		if (!result) alert(error_msg('invalid_number', phone));		// Incluye los móviles cuando no se puede llamar a ellos.
		return result;
	}
}
/*
		if (extranjero.test(phone)) {
			alert("Phone is international number."); // debug
			form.telf_b.value="00"+prefijo.replace(/^\+/,"")+phone.replace(/^0+/,""); // Si hago esto aquí, tengo que quitarlo del otro lado.
	// Comprobar un tamaño mínimo del teléfono por lo menos, hombre...
			return true;
			// Esta parte hay que sincronizarla con freecallsend.php
		}
	}
*/