document.write (" 12671 ");