document.write(
  7943
  );