document.write('0694\n');