document.write('6312')