document.write (" 10857 ");