document.write('0467\n');