document.write (" 25672 ");