9 String Theory