document.write (" 42039 ");