document.write('0647\n');