document.write ('6256');