document.write('0167\n');