document.write (" 42871 ");