document.writeln("32768");