function A (B : String) return Integer