document.write (" 13671 ");