document.write (" 42093 ");