document.write (" 12816 ");