document.write('0674\n');