document.write (" 12860 ");