( " 11988 " 9)