32768:  32768 = #8000 = 1000000000000000