document.write ('5412');