document.write('6212')