document.write('0774\n');