document.write('6732');