document.write (" 12857 ");