document.write('0768\n');