document.write ('7924');