document.write ('6732');