document.write (" 42919 ");