document.write (" 12288 ");