document.write('0645\n');