document.write (" 42950 ");