document.write ('5242');