document.write ('6422');