document.write (" 6847 ");