document.write (" 42084 ");