document.write (" 10894 ");