document.write (" 31902 ");