document.write (" 12659 ");