document.write (" 4671 ");