document.write (" 7946 ");