document.write (" 42086 ");