document.write (" 25671 ");