document.write('0649\n');