document.write (" 42931 ");