document.write (" 42074 ");