document.write(
  7
  );