document.write (" 12800 ");