document.write('6212');