document.write (" 25942 ");