document.write('0672\n');