document.write('0657\n');