document.write ('7218');