document.write ('7018');