document.write (" 25842 ");