document.write (" 31842 ");