document.write ('7252');