document.write (" 10847 ");